Skip to content

Actions: FStarLang/FStar

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump rlimit CI #68: Commit 3261cbd pushed by nikswamy
January 8, 2025 21:27 15m 30s gebner_smt_univs
gebner_smt_univs
January 8, 2025 21:27 15m 30s
When solving ?u x = rhs x, check for compatible effects. CI #67: Commit 5361382 pushed by gebner
January 8, 2025 21:00 32m 22s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 21:00 32m 22s
Merge pull request #3662 from mtzguido/nix CI #66: Commit db2cbe7 pushed by mtzguido
January 8, 2025 20:34 35m 26s master
master
January 8, 2025 20:34 35m 26s
nix: exposing ocamlPackages as before CI #65: Pull request #3662 opened by mtzguido
January 8, 2025 19:57 36m 30s mtzguido:nix
mtzguido:nix
January 8, 2025 19:57 36m 30s
Erase functions to fun CI #64: Pull request #3661 opened by gebner
January 8, 2025 19:20 36m 13s gebner_erase_fun
gebner_erase_fun
January 8, 2025 19:20 36m 13s
Correctly erased n-ary ghost functions. CI #63: Commit 58ae0b4 pushed by gebner
January 8, 2025 19:12 36m 42s gebner_erase_fun
gebner_erase_fun
January 8, 2025 19:12 36m 42s
Compare effect names after partial application. CI #62: Commit 32bd4ec pushed by gebner
January 8, 2025 18:42 32m 22s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 18:42 32m 22s
Merge pull request #3637 from mtzguido/dev CI #61: Commit e422f42 pushed by mtzguido
January 8, 2025 17:43 37m 11s master
master
January 8, 2025 17:43 37m 11s
Staged build, new CI, new packaging CI #60: Pull request #3637 synchronize by mtzguido
January 8, 2025 16:55 37m 4s mtzguido:dev
mtzguido:dev
January 8, 2025 16:55 37m 4s
Staged build, new CI, new packaging CI #59: Pull request #3637 synchronize by mtzguido
January 8, 2025 16:28 37m 7s mtzguido:dev
mtzguido:dev
January 8, 2025 16:28 37m 7s
Staged build, new CI, new packaging CI #58: Pull request #3637 synchronize by mtzguido
January 8, 2025 15:46 35m 53s mtzguido:dev
mtzguido:dev
January 8, 2025 15:46 35m 53s
Staged build, new CI, new packaging CI #57: Pull request #3637 synchronize by mtzguido
January 8, 2025 10:12 36m 46s mtzguido:dev
mtzguido:dev
January 8, 2025 10:12 36m 46s
get_fstar_z3.sh: fix arg check CI #56: Commit 4501f10 pushed by mtzguido
January 8, 2025 07:28 35m 49s dev
dev
January 8, 2025 07:28 35m 49s
Staged build, new CI, new packaging CI #55: Pull request #3637 synchronize by mtzguido
January 8, 2025 06:48 35m 47s mtzguido:dev
mtzguido:dev
January 8, 2025 06:48 35m 47s
nightly.yml: Nightly build and upload releases to separate repo CI #54: Commit 628065a pushed by mtzguido
January 8, 2025 06:36 35m 43s dev
dev
January 8, 2025 06:36 35m 43s
Compare effect names after partial application. CI #53: Commit 07e2158 pushed by gebner
January 8, 2025 05:47 32m 20s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 05:47 32m 20s
Staged build, new CI, new packaging CI #52: Pull request #3637 synchronize by mtzguido
January 8, 2025 05:46 36m 40s mtzguido:dev
mtzguido:dev
January 8, 2025 05:46 36m 40s
Allow cross-effect subtyping in MLish CI #51: Commit 5c7c189 pushed by gebner
January 8, 2025 05:17 31m 54s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 05:17 31m 54s
Finish ulib. CI #50: Commit 6f446ba pushed by gebner
January 8, 2025 05:04 7m 1s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 05:04 7m 1s
Fix more ulib. CI #49: Commit 02a944b pushed by gebner
January 8, 2025 01:32 8m 3s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 01:32 8m 3s
Start fixing ulib. CI #48: Commit debcf6d pushed by gebner
January 8, 2025 00:33 6m 18s gebner_effect_subtyping
gebner_effect_subtyping
January 8, 2025 00:33 6m 18s
Staged build, new CI, new packaging CI #47: Pull request #3637 synchronize by mtzguido
January 7, 2025 22:33 35m 48s mtzguido:dev
mtzguido:dev
January 7, 2025 22:33 35m 48s
add universe field projectors and strenghten inversion axiom with equ… CI #46: Commit 8518459 pushed by nikswamy
January 7, 2025 21:48 12m 3s gebner_smt_univs
gebner_smt_univs
January 7, 2025 21:48 12m 3s
Merge branch 'gebner_smt_univs' of github.com:FStarLang/FStar into ge… CI #45: Commit c169380 pushed by nikswamy
January 7, 2025 19:02 11m 58s gebner_smt_univs
gebner_smt_univs
January 7, 2025 19:02 11m 58s
Typo. CI #44: Commit e5d0083 pushed by gebner
January 7, 2025 02:20 12m 30s gebner_smt_univs
gebner_smt_univs
January 7, 2025 02:20 12m 30s