Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,514 workflow runs
3,514 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) #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
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #80: Manually run by nikswamy
January 20, 2025 18:01 3h 47m 8s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 18:01 3h 47m 8s
Use the directory of any file on the command line in the include path rather than "." CI #183: Pull request #3690 synchronize by nikswamy
January 20, 2025 17:11 37m 25s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 17:11 37m 25s
Use the directory of any file on the command line in the include path rather than "." CI #182: Pull request #3690 synchronize by nikswamy
January 20, 2025 17:01 35m 26s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 17:01 35m 26s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #79: Manually run by nikswamy
January 20, 2025 05:39 57m 11s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 05:39 57m 11s
Use the directory of any file on the command line in the include path rather than "." CI #181: Pull request #3690 synchronize by nikswamy
January 20, 2025 05:03 34m 50s _nik_revise_default_include_path
_nik_revise_default_include_path
January 20, 2025 05:03 34m 50s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #78: Scheduled
January 20, 2025 02:08 2h 35m 28s master
master
January 20, 2025 02:08 2h 35m 28s
F* nightly build F* nightly build #18: Scheduled
January 20, 2025 00:59 20m 48s master
master
January 20, 2025 00:59 20m 48s
Use the directory of any file on the command line in the include path rather than "." CI #180: Pull request #3690 opened by nikswamy
January 19, 2025 20:51 36m 0s _nik_revise_default_include_path
_nik_revise_default_include_path
January 19, 2025 20:51 36m 0s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #77: Scheduled
January 19, 2025 02:12 2h 34m 16s master
master
January 19, 2025 02:12 2h 34m 16s
F* nightly build F* nightly build #17: Scheduled
January 19, 2025 01:03 27m 44s master
master
January 19, 2025 01:03 27m 44s
Merge pull request #3688 from mtzguido/issue_to_doc CI #179: Commit 2a13363 pushed by mtzguido
January 18, 2025 10:46 35m 34s master
master
January 18, 2025 10:46 35m 34s
FStar.Issue: exposing doc_of_issue CI #178: Pull request #3688 opened by mtzguido
January 18, 2025 10:11 34m 50s mtzguido:issue_to_doc
mtzguido:issue_to_doc
January 18, 2025 10:11 34m 50s
Merge pull request #3687 from mtzguido/ranges CI #177: Commit c635fa9 pushed by mtzguido
January 18, 2025 09:04 34m 50s master
master
January 18, 2025 09:04 34m 50s
Making sure tactic errors respect error range bound CI #176: Pull request #3687 opened by mtzguido
January 18, 2025 08:29 35m 0s mtzguido:ranges
mtzguido:ranges
January 18, 2025 08:29 35m 0s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #76: Scheduled
January 18, 2025 02:03 2h 33m 45s master
master
January 18, 2025 02:03 2h 33m 45s
F* nightly build F* nightly build #16: Scheduled
January 18, 2025 00:56 21m 13s master
master
January 18, 2025 00:56 21m 13s
Create F* release and publish Create F* release and publish #62: Manually run by mtzguido
January 17, 2025 19:10 29m 7s master
master
January 17, 2025 19:10 29m 7s
Merge pull request #3685 from mtzguido/release CI #175: Commit 5209704 pushed by mtzguido
January 17, 2025 19:06 35m 17s master
master
January 17, 2025 19:06 35m 17s
Bump version to 2025.01.17 CI #174: Pull request #3685 opened by mtzguido
January 17, 2025 18:30 35m 50s mtzguido:release
mtzguido:release
January 17, 2025 18:30 35m 50s