Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

F* nightly build F* nightly build #101: Scheduled
April 13, 2025 02:34 19m 50s master
master
April 13, 2025 02:34 19m 50s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #172: Scheduled
April 12, 2025 02:17 2h 11m 8s master
master
April 12, 2025 02:17 2h 11m 8s
F* nightly build F* nightly build #100: Scheduled
April 12, 2025 01:04 20m 15s master
master
April 12, 2025 01:04 20m 15s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #171: Scheduled
April 11, 2025 02:20 2h 9m 51s master
master
April 11, 2025 02:20 2h 9m 51s
F* nightly build F* nightly build #99: Scheduled
April 11, 2025 01:06 20m 26s master
master
April 11, 2025 01:06 20m 26s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #170: Scheduled
April 10, 2025 02:19 2h 8m 45s master
master
April 10, 2025 02:19 2h 8m 45s
F* nightly build F* nightly build #98: Scheduled
April 10, 2025 01:05 18m 51s master
master
April 10, 2025 01:05 18m 51s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #169: Scheduled
April 9, 2025 02:20 2h 14m 18s master
master
April 9, 2025 02:20 2h 14m 18s
F* nightly build F* nightly build #97: Scheduled
April 9, 2025 01:05 25m 2s master
master
April 9, 2025 01:05 25m 2s
Merge pull request #3837 from mtzguido/ci CI #536: Commit 20e123b pushed by mtzguido
April 8, 2025 17:12 33m 27s master
master
April 8, 2025 17:12 33m 27s
CI: remove ubuntu-20 runner CI #535: Pull request #3837 opened by mtzguido
April 8, 2025 15:55 34m 44s mtzguido:ci
mtzguido:ci
April 8, 2025 15:55 34m 44s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #168: Manually run by mtzguido
April 8, 2025 14:57 2h 9m 35s master
master
April 8, 2025 14:57 2h 9m 35s
Merge pull request #3836 from Nadrieril/update-nixpkgs CI #534: Commit b426a2f pushed by mtzguido
April 8, 2025 14:36 33m 30s master
master
April 8, 2025 14:36 33m 30s
nix: Update nixpkgs CI #533: Pull request #3836 opened by Nadrieril
April 8, 2025 10:04 33m 55s Nadrieril:update-nixpkgs
Nadrieril:update-nixpkgs
April 8, 2025 10:04 33m 55s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #167: Scheduled
April 8, 2025 02:19 2h 6m 8s master
master
April 8, 2025 02:19 2h 6m 8s
F* nightly build F* nightly build #96: Scheduled
April 8, 2025 01:05 25m 31s master
master
April 8, 2025 01:05 25m 31s
Merge pull request #3835 from FStarLang/_nik_nbe_reveal_hide CI #532: Commit 2935851 pushed by mtzguido
April 8, 2025 00:14 33m 43s master
master
April 8, 2025 00:14 33m 43s
Fix an order of arguments bug in NBE CI #531: Pull request #3835 opened by nikswamy
April 7, 2025 22:10 33m 35s _nik_nbe_reveal_hide
_nik_nbe_reveal_hide
April 7, 2025 22:10 33m 35s
Merge pull request #3834 from Nadrieril/fix-z3 CI #530: Commit 3b2f365 pushed by mtzguido
April 7, 2025 16:15 15m 52s master
master
April 7, 2025 16:15 15m 52s
nix: Pin the python version used by z3 CI #529: Pull request #3834 opened by Nadrieril
April 7, 2025 12:05 7m 58s Nadrieril:fix-z3
Nadrieril:fix-z3
April 7, 2025 12:05 7m 58s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #166: Scheduled
April 7, 2025 02:22 2h 4m 10s master
master
April 7, 2025 02:22 2h 4m 10s
F* nightly build F* nightly build #95: Scheduled
April 7, 2025 01:07 20m 25s master
master
April 7, 2025 01:07 20m 25s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #165: Scheduled
April 6, 2025 02:23 2h 2m 21s master
master
April 6, 2025 02:23 2h 2m 21s
F* nightly build F* nightly build #94: Scheduled
April 6, 2025 01:09 20m 20s master
master
April 6, 2025 01:09 20m 20s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #164: Scheduled
April 5, 2025 02:16 2h 4m 17s master
master
April 5, 2025 02:16 2h 4m 17s