Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,300 workflow runs
3,300 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) #198: Scheduled
May 8, 2025 02:27 2h 11m 25s master
master
May 8, 2025 02:27 2h 11m 25s
F* nightly build F* nightly build #126: Scheduled
May 8, 2025 01:09 26m 5s master
master
May 8, 2025 01:09 26m 5s
Remove eqtype_as_type from layered effect samples CI #559: Pull request #3852 opened by nikswamy
May 7, 2025 21:10 34m 30s _nik_eqtype_as_type
_nik_eqtype_as_type
May 7, 2025 21:10 34m 30s
Merge pull request #3851 from mtzguido/mk0 CI #558: Commit f3f8859 pushed by mtzguido
May 7, 2025 20:59 34m 28s master
master
May 7, 2025 20:59 34m 28s
Makefile: auto-rebuild stage0 when it changes CI #557: Pull request #3851 opened by mtzguido
May 7, 2025 20:25 34m 19s mtzguido:mk0
mtzguido:mk0
May 7, 2025 20:25 34m 19s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #197: Scheduled
May 7, 2025 02:26 2h 11m 17s master
master
May 7, 2025 02:26 2h 11m 17s
F* nightly build F* nightly build #125: Scheduled
May 7, 2025 01:09 25m 57s master
master
May 7, 2025 01:09 25m 57s
Merge pull request #3848 from mtzguido/hint_fuel CI #556: Commit c1dc7af pushed by mtzguido
May 6, 2025 18:27 34m 24s master
master
May 6, 2025 18:27 34m 24s
Solver: do not use a hint if its fuels are no longer valid CI #555: Pull request #3848 opened by mtzguido
May 6, 2025 17:21 34m 25s mtzguido:hint_fuel
mtzguido:hint_fuel
May 6, 2025 17:21 34m 25s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #196: Scheduled
May 6, 2025 02:25 2h 11m 47s master
master
May 6, 2025 02:25 2h 11m 47s
F* nightly build F* nightly build #124: Scheduled
May 6, 2025 01:08 20m 35s master
master
May 6, 2025 01:08 20m 35s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #195: Scheduled
May 5, 2025 02:28 2h 9m 40s master
master
May 5, 2025 02:28 2h 9m 40s
F* nightly build F* nightly build #123: Scheduled
May 5, 2025 01:11 20m 27s master
master
May 5, 2025 01:11 20m 27s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #194: Scheduled
May 4, 2025 02:40 2h 12m 58s master
master
May 4, 2025 02:40 2h 12m 58s
F* nightly build F* nightly build #122: Scheduled
May 4, 2025 01:14 15m 48s master
master
May 4, 2025 01:14 15m 48s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #193: Scheduled
May 3, 2025 02:21 2h 10m 29s master
master
May 3, 2025 02:21 2h 10m 29s
F* nightly build F* nightly build #121: Scheduled
May 3, 2025 01:06 21m 18s master
master
May 3, 2025 01:06 21m 18s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #192: Scheduled
May 2, 2025 02:24 2h 9m 58s master
master
May 2, 2025 02:24 2h 9m 58s
F* nightly build F* nightly build #120: Scheduled
May 2, 2025 01:08 20m 46s master
master
May 2, 2025 01:08 20m 46s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #191: Scheduled
May 1, 2025 02:40 2h 14m 40s master
master
May 1, 2025 02:40 2h 14m 40s
F* nightly build F* nightly build #119: Scheduled
May 1, 2025 01:14 26m 17s master
master
May 1, 2025 01:14 26m 17s
Merge pull request #3847 from mtzguido/hash CI #554: Commit fba7fd8 pushed by mtzguido
April 30, 2025 22:06 34m 9s master
master
April 30, 2025 22:06 34m 9s
SMT: use rlimit and seed as part of query hash CI #553: Pull request #3847 opened by mtzguido
April 30, 2025 18:40 34m 25s mtzguido:hash
mtzguido:hash
April 30, 2025 18:40 34m 25s
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