Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,267 workflow runs
3,267 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) #121: Scheduled
February 25, 2025 02:12 2h 22m 0s master
master
February 25, 2025 02:12 2h 22m 0s
F* nightly build F* nightly build #54: Scheduled
February 25, 2025 01:02 27m 6s master
master
February 25, 2025 01:02 27m 6s
Merge pull request #3783 from mtzguido/fix_3782 CI #408: Commit cef69c7 pushed by mtzguido
February 24, 2025 04:30 34m 29s master
master
February 24, 2025 04:30 34m 29s
Tc: unconditionally restore options before encoding a module CI #407: Pull request #3783 opened by mtzguido
February 24, 2025 03:56 34m 5s mtzguido:fix_3782
mtzguido:fix_3782
February 24, 2025 03:56 34m 5s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #120: Scheduled
February 24, 2025 02:14 2h 20m 28s master
master
February 24, 2025 02:14 2h 20m 28s
F* nightly build F* nightly build #53: Scheduled
February 24, 2025 01:02 27m 33s master
master
February 24, 2025 01:02 27m 33s
Merge pull request #3781 from mtzguido/err_fix CI #406: Commit c90cf14 pushed by mtzguido
February 23, 2025 19:04 34m 6s master
master
February 23, 2025 19:04 34m 6s
Tactics: return proper errors when guards fail for typing reflection CI #405: Pull request #3781 opened by mtzguido
February 23, 2025 18:31 33m 44s mtzguido:err_fix
mtzguido:err_fix
February 23, 2025 18:31 33m 44s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #119: Scheduled
February 23, 2025 02:15 2h 19m 45s master
master
February 23, 2025 02:15 2h 19m 45s
F* nightly build F* nightly build #52: Scheduled
February 23, 2025 01:05 27m 16s master
master
February 23, 2025 01:05 27m 16s
Merge pull request #3780 from mtzguido/fix_dep_match CI #404: Commit dbee1ed pushed by mtzguido
February 22, 2025 02:27 34m 29s master
master
February 22, 2025 02:27 34m 29s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #118: Scheduled
February 22, 2025 02:06 2h 20m 1s master
master
February 22, 2025 02:06 2h 20m 1s
Fix a scoping bug for dependent matches in Tactics.check_match_complete CI #403: Pull request #3780 opened by mtzguido
February 22, 2025 01:46 34m 13s mtzguido:fix_dep_match
mtzguido:fix_dep_match
February 22, 2025 01:46 34m 13s
F* nightly build F* nightly build #51: Scheduled
February 22, 2025 00:59 28m 38s master
master
February 22, 2025 00:59 28m 38s
Merge pull request #3779 from chandradeepdey/opam CI #402: Commit afa6cf0 pushed by mtzguido
February 21, 2025 19:12 35m 19s master
master
February 21, 2025 19:12 35m 19s
Update fstar.opam to correspond to ocaml/opam-repository/packages/fstar CI #401: Pull request #3779 synchronize by chandradeepdey
February 21, 2025 07:15 34m 33s chandradeepdey:opam
chandradeepdey:opam
February 21, 2025 07:15 34m 33s
Update fstar.opam to correspond to ocaml/opam-repository/packages/fstar CI #400: Pull request #3779 opened by chandradeepdey
February 21, 2025 07:06 34m 31s chandradeepdey:opam
chandradeepdey:opam
February 21, 2025 07:06 34m 31s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #117: Scheduled
February 21, 2025 02:10 2h 17m 42s master
master
February 21, 2025 02:10 2h 17m 42s
F* nightly build F* nightly build #50: Scheduled
February 21, 2025 01:01 20m 17s master
master
February 21, 2025 01:01 20m 17s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #116: Scheduled
February 20, 2025 02:10 2h 20m 21s master
master
February 20, 2025 02:10 2h 20m 21s
F* nightly build F* nightly build #49: Scheduled
February 20, 2025 01:00 20m 39s master
master
February 20, 2025 01:00 20m 39s
Merge pull request #3777 from mtzguido/perf2 CI #399: Commit 0c4b790 pushed by mtzguido
February 19, 2025 18:49 35m 3s master
master
February 19, 2025 18:49 35m 3s
Perf fixes CI #398: Pull request #3777 opened by mtzguido
February 19, 2025 18:14 34m 40s mtzguido:perf2
mtzguido:perf2
February 19, 2025 18:14 34m 40s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #115: Scheduled
February 19, 2025 02:09 44m 14s master
master
February 19, 2025 02:09 44m 14s
Merge pull request #3776 from mtzguido/extract_as_zeta CI #397: Commit 2f9a655 pushed by mtzguido
February 19, 2025 02:06 37m 39s master
master
February 19, 2025 02:06 37m 39s