Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,302 workflow runs
3,302 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) #190: Scheduled
April 30, 2025 02:23 2h 11m 16s master
master
April 30, 2025 02:23 2h 11m 16s
F* nightly build F* nightly build #118: Scheduled
April 30, 2025 01:08 20m 35s master
master
April 30, 2025 01:08 20m 35s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #189: Scheduled
April 29, 2025 02:23 2h 11m 7s master
master
April 29, 2025 02:23 2h 11m 7s
F* nightly build F* nightly build #117: Scheduled
April 29, 2025 01:07 20m 18s master
master
April 29, 2025 01:07 20m 18s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #188: Scheduled
April 28, 2025 02:27 2h 9m 10s master
master
April 28, 2025 02:27 2h 9m 10s
F* nightly build F* nightly build #116: Scheduled
April 28, 2025 01:09 25m 51s master
master
April 28, 2025 01:09 25m 51s
Merge pull request #3845 from FStarLang/_nik_a_la_carte CI #552: Commit 6cf0b68 pushed by nikswamy
April 27, 2025 16:27 33m 38s master
master
April 27, 2025 16:27 33m 38s
Data types a la carte CI #551: Pull request #3845 opened by nikswamy
April 27, 2025 06:38 19m 33s _nik_a_la_carte
_nik_a_la_carte
April 27, 2025 06:38 19m 33s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #187: Scheduled
April 27, 2025 02:27 2h 10m 33s master
master
April 27, 2025 02:27 2h 10m 33s
F* nightly build F* nightly build #115: Scheduled
April 27, 2025 01:11 25m 36s master
master
April 27, 2025 01:11 25m 36s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #186: Scheduled
April 26, 2025 02:18 2h 8m 13s master
master
April 26, 2025 02:18 2h 8m 13s
F* nightly build F* nightly build #114: Scheduled
April 26, 2025 01:05 24m 56s master
master
April 26, 2025 01:05 24m 56s
Merge pull request #3839 from mtzguido/stats CI #550: Commit 12742b4 pushed by mtzguido
April 25, 2025 21:11 33m 36s master
master
April 25, 2025 21:11 33m 36s
Introduce --stats CI #549: Pull request #3839 synchronize by mtzguido
April 25, 2025 20:36 33m 59s mtzguido:stats
mtzguido:stats
April 25, 2025 20:36 33m 59s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #185: Scheduled
April 25, 2025 02:23 2h 10m 22s master
master
April 25, 2025 02:23 2h 10m 22s
F* nightly build F* nightly build #113: Scheduled
April 25, 2025 01:07 24m 44s master
master
April 25, 2025 01:07 24m 44s
Merge pull request #3842 from mtzguido/nix CI #548: Commit f98ba12 pushed by mtzguido
April 24, 2025 16:36 33m 56s master
master
April 24, 2025 16:36 33m 56s
Fix Nix build CI #547: Pull request #3842 opened by mtzguido
April 24, 2025 14:20 34m 43s mtzguido:nix
mtzguido:nix
April 24, 2025 14:20 34m 43s
Merge pull request #3841 from mtzguido/norm CI #546: Commit 507d0b0 pushed by mtzguido
April 24, 2025 03:15 34m 27s master
master
April 24, 2025 03:15 34m 27s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #184: Scheduled
April 24, 2025 02:23 2h 4m 22s master
master
April 24, 2025 02:23 2h 4m 22s
Normalizer: rework norm requests CI #545: Pull request #3841 opened by mtzguido
April 24, 2025 01:34 33m 35s mtzguido:norm
mtzguido:norm
April 24, 2025 01:34 33m 35s
F* nightly build F* nightly build #112: Scheduled
April 24, 2025 01:07 20m 12s master
master
April 24, 2025 01:07 20m 12s
Merge pull request #3840 from mtzguido/ppxlib CI #544: Commit 8331b61 pushed by mtzguido
April 23, 2025 19:17 34m 16s master
master
April 23, 2025 19:17 34m 16s
Update ppxlib CI #543: Pull request #3840 synchronize by mtzguido
April 23, 2025 18:42 34m 24s mtzguido:ppxlib
mtzguido:ppxlib
April 23, 2025 18:42 34m 24s
Update ppxlib CI #542: Pull request #3840 synchronize by mtzguido
April 23, 2025 18:31 24m 15s mtzguido:ppxlib
mtzguido:ppxlib
April 23, 2025 18:31 24m 15s