Skip to content

Actions: FStarLang/FStar

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

check-friends: restoring main repos CI #105: Pull request #3670 opened by mtzguido
January 10, 2025 16:17 35m 27s mtzguido:checkfriends
mtzguido:checkfriends
January 10, 2025 16:17 35m 27s
Errors: Introducing '--message_format github', for github actions CI #104: Pull request #3553 synchronize by mtzguido
January 10, 2025 07:18 35m 19s mtzguido:github_errs
mtzguido:github_errs
January 10, 2025 07:18 35m 19s
Erase functions to fun CI #103: Pull request #3661 synchronize by gebner
January 10, 2025 05:53 38m 50s gebner_erase_fun
gebner_erase_fun
January 10, 2025 05:53 38m 50s
Fix rlimit CI #102: Commit 2ca268c pushed by gebner
January 10, 2025 05:53 37m 45s gebner_erase_fun
gebner_erase_fun
January 10, 2025 05:53 37m 45s
Merge pull request #3669 from mtzguido/nit CI #101: Commit ffbbce2 pushed by github-merge-queue bot
January 10, 2025 05:40 35m 22s master
master
January 10, 2025 05:40 35m 22s
Merge pull request #3669 from mtzguido/nit CI #100: Commit ffbbce2 pushed by github-merge-queue bot
January 10, 2025 05:04 35m 27s gh-readonly-queue/master/pr-3669-033121d745fab54c2c566ae3c912e292092f4cea
gh-readonly-queue/master/pr-3669-033121d745fab54c2c566ae3c912e292092f4cea
January 10, 2025 05:04 35m 27s
CI CI #99: Merge group checks requested
January 10, 2025 05:04 35m 43s
January 10, 2025 05:04 35m 43s
Tc: prevent reset of -d across modules CI #98: Pull request #3669 opened by mtzguido
January 10, 2025 04:27 36m 45s mtzguido:nit
mtzguido:nit
January 10, 2025 04:27 36m 45s
Merge pull request #3668 from mtzguido/ci CI #97: Commit 033121d pushed by mtzguido
January 10, 2025 03:52 36m 19s master
master
January 10, 2025 03:52 36m 19s
Erase functions to fun CI #96: Pull request #3661 synchronize by gebner
January 10, 2025 03:34 18m 21s gebner_erase_fun
gebner_erase_fun
January 10, 2025 03:34 18m 21s
Fix some erasable warnings. CI #95: Commit 1b8d140 pushed by gebner
January 10, 2025 03:34 18m 2s gebner_erase_fun
gebner_erase_fun
January 10, 2025 03:34 18m 2s
ci.yml: run for merge queue CI #94: Pull request #3668 opened by mtzguido
January 10, 2025 02:36 35m 8s mtzguido:ci
mtzguido:ci
January 10, 2025 02:36 35m 8s
Merge pull request #3667 from mtzguido/mk CI #93: Commit 4e4c69b pushed by mtzguido
January 10, 2025 02:28 35m 36s master
master
January 10, 2025 02:28 35m 36s
Build improvements CI #92: Pull request #3667 opened by mtzguido
January 10, 2025 01:50 36m 5s mtzguido:mk
mtzguido:mk
January 10, 2025 01:50 36m 5s
restore context pruning for ToFStarBuffer CI #91: Commit a7787b0 pushed by nikswamy
January 10, 2025 01:31 38m 1s gebner_smt_univs
gebner_smt_univs
January 10, 2025 01:31 38m 1s
Disable cross-effect subtyping of arrows CI #90: Pull request #3665 synchronize by gebner
January 10, 2025 01:25 7m 29s gebner_effect_subtyping
gebner_effect_subtyping
January 10, 2025 01:25 7m 29s
Revert unnecessary changes to ulib. CI #89: Commit d1990dc pushed by gebner
January 10, 2025 01:25 7m 30s gebner_effect_subtyping
gebner_effect_subtyping
January 10, 2025 01:25 7m 30s
Disable cross-effect subtyping of arrows CI #88: Pull request #3665 synchronize by gebner
January 10, 2025 00:57 35m 17s gebner_effect_subtyping
gebner_effect_subtyping
January 10, 2025 00:57 35m 17s
Revert unnecessary changes to ulib. CI #87: Commit 73c4dc5 pushed by gebner
January 10, 2025 00:57 42m 11s gebner_effect_subtyping
gebner_effect_subtyping
January 10, 2025 00:57 42m 11s
Merge pull request #3664 from mtzguido/mkrm CI #86: Commit 0d18a08 pushed by mtzguido
January 9, 2025 20:01 36m 39s master
master
January 9, 2025 20:01 36m 39s
Disable cross-effect subtyping of arrows CI #85: Pull request #3665 synchronize by gebner
January 9, 2025 19:31 32m 35s gebner_effect_subtyping
gebner_effect_subtyping
January 9, 2025 19:31 32m 35s
Revert unnecessary ulib changes. CI #84: Commit 21f1655 pushed by gebner
January 9, 2025 19:31 33m 30s gebner_effect_subtyping
gebner_effect_subtyping
January 9, 2025 19:31 33m 30s
src: Renaming FStarC.Compiler.* -> FStarC.* CI #83: Pull request #3666 opened by mtzguido
January 9, 2025 19:29 36m 14s mtzguido:rename
mtzguido:rename
January 9, 2025 19:29 36m 14s
mk: removing extraneous .ml files after extracting CI #82: Pull request #3664 synchronize by mtzguido
January 9, 2025 19:25 36m 4s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 19:25 36m 4s
Disable cross-effect subtyping of arrows CI #81: Pull request #3665 opened by gebner
January 9, 2025 19:18 32m 57s gebner_effect_subtyping
gebner_effect_subtyping
January 9, 2025 19:18 32m 57s