Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,513 workflow runs
3,513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check world (test F* + all subprojects) Check world (test F* + all subprojects) #86: Scheduled
January 26, 2025 02:09 2h 33m 56s master
master
January 26, 2025 02:09 2h 33m 56s
F* nightly build F* nightly build #24: Scheduled
January 26, 2025 01:00 21m 7s master
master
January 26, 2025 01:00 21m 7s
fix merge in EncodeTerm.fsti; tweak rlimit CI #196: Commit 870f277 pushed by nikswamy
January 25, 2025 20:23 36m 43s nik_smt_univs_2025
nik_smt_univs_2025
January 25, 2025 20:23 36m 43s
remove admit in Bug3120a CI #195: Commit cd692e8 pushed by nikswamy
January 25, 2025 17:22 37m 58s nik_smt_univs_2025
nik_smt_univs_2025
January 25, 2025 17:22 37m 58s
removing admit in ModifiesGen; narrowing admit in Bug3120a CI #194: Commit 78a67a0 pushed by nikswamy
January 25, 2025 02:33 37m 12s nik_smt_univs_2025
nik_smt_univs_2025
January 25, 2025 02:33 37m 12s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #85: Scheduled
January 25, 2025 02:02 2h 32m 5s master
master
January 25, 2025 02:02 2h 32m 5s
F* nightly build F* nightly build #23: Scheduled
January 25, 2025 00:55 27m 38s master
master
January 25, 2025 00:55 27m 38s
Merge pull request #3697 from mtzguido/realpath CI #193: Commit 7cd06c5 pushed by mtzguido
January 24, 2025 23:43 36m 0s master
master
January 24, 2025 23:43 36m 0s
FStarC.Util: make sure executable_name and exec_dir point to concrete… CI #192: Pull request #3697 opened by mtzguido
January 24, 2025 23:08 35m 14s mtzguido:realpath
mtzguido:realpath
January 24, 2025 23:08 35m 14s
Parser.Dep: do not fail if can't find base modules CI #191: Commit 8404816 pushed by mtzguido
January 24, 2025 20:26 36m 4s guido_misc
guido_misc
January 24, 2025 20:26 36m 4s
Merge pull request #3695 from mtzguido/nits2 CI #190: Commit b908f09 pushed by mtzguido
January 24, 2025 16:41 35m 12s master
master
January 24, 2025 16:41 35m 12s
Some build nits CI #189: Pull request #3695 opened by mtzguido
January 24, 2025 16:04 36m 30s mtzguido:nits2
mtzguido:nits2
January 24, 2025 16:04 36m 30s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #84: Scheduled
January 24, 2025 02:07 2h 34m 8s master
master
January 24, 2025 02:07 2h 34m 8s
F* nightly build F* nightly build #22: Scheduled
January 24, 2025 00:59 21m 3s master
master
January 24, 2025 00:59 21m 3s
Use the directory of any file on the command line in the include path rather than "." CI #188: Pull request #3690 synchronize by nikswamy
January 23, 2025 15:04 33m 46s _nik_revise_default_include_path
_nik_revise_default_include_path
January 23, 2025 15:04 33m 46s
Use the directory of any file on the command line in the include path rather than "." CI #187: Pull request #3690 synchronize by nikswamy
January 23, 2025 05:47 33m 28s _nik_revise_default_include_path
_nik_revise_default_include_path
January 23, 2025 05:47 33m 28s
Use the directory of any file on the command line in the include path rather than "." CI #186: Pull request #3690 synchronize by nikswamy
January 23, 2025 04:47 6m 13s _nik_revise_default_include_path
_nik_revise_default_include_path
January 23, 2025 04:47 6m 13s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #83: Scheduled
January 23, 2025 02:06 2h 34m 19s master
master
January 23, 2025 02:06 2h 34m 19s
F* nightly build F* nightly build #21: Scheduled
January 23, 2025 00:59 23m 42s master
master
January 23, 2025 00:59 23m 42s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #82: Scheduled
January 22, 2025 02:09 2h 35m 48s master
master
January 22, 2025 02:09 2h 35m 48s
F* nightly build F* nightly build #20: Scheduled
January 22, 2025 01:00 21m 1s master
master
January 22, 2025 01:00 21m 1s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #81: Scheduled
January 21, 2025 02:06 2h 36m 39s master
master
January 21, 2025 02:06 2h 36m 39s
F* nightly build F* nightly build #19: Scheduled
January 21, 2025 00:58 12m 28s master
master
January 21, 2025 00:58 12m 28s
Added Sigma and Pi (FStar.SigmaPi.fst*) to ulib. CI #185: Pull request #3691 synchronize by briangmilnes
January 20, 2025 19:35 35m 31s briangmilnes:milnes-sigmapi
briangmilnes:milnes-sigmapi
January 20, 2025 19:35 35m 31s
Added Sigma and Pi (FStar.SigmaPi.fst*) to ulib. CI #184: Pull request #3691 opened by briangmilnes
January 20, 2025 19:35 36m 19s briangmilnes:milnes-sigmapi
briangmilnes:milnes-sigmapi
January 20, 2025 19:35 36m 19s