Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,431 workflow runs
3,431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable cross-effect subtyping of arrows Check for stale hints #139: Pull request #3665 opened by gebner
January 9, 2025 19:18 15s gebner_effect_subtyping
gebner_effect_subtyping
January 9, 2025 19:18 15s
mk: removing extraneous .ml files after extracting Check for stale hints #138: Pull request #3664 synchronize by mtzguido
January 9, 2025 18:08 19s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 18:08 19s
mk: removing extraneous .ml files after extracting CI #80: Pull request #3664 synchronize by mtzguido
January 9, 2025 18:08 36m 3s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 18:08 36m 3s
mk: removing extraneous .ml files after extracting Check for stale hints #137: Pull request #3664 synchronize by mtzguido
January 9, 2025 17:52 20s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 17:52 20s
mk: removing extraneous .ml files after extracting CI #79: Pull request #3664 synchronize by mtzguido
January 9, 2025 17:52 6m 17s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 17:52 6m 17s
mk: removing extraneous .ml files after extracting CI #78: Pull request #3664 synchronize by mtzguido
January 9, 2025 17:08 36m 53s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 17:08 36m 53s
mk: removing extraneous .ml files after extracting Check for stale hints #136: Pull request #3664 synchronize by mtzguido
January 9, 2025 17:08 19s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 17:08 19s
mk: removing extraneous .ml files after extracting CI #77: Pull request #3664 opened by mtzguido
January 9, 2025 16:13 7m 5s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 16:13 7m 5s
mk: removing extraneous .ml files after extracting Check for stale hints #135: Pull request #3664 opened by mtzguido
January 9, 2025 16:13 16s mtzguido:mkrm
mtzguido:mkrm
January 9, 2025 16:13 16s
track universe arities in SMT encoding and use it for more direct han… CI #76: Commit db39c55 pushed by nikswamy
January 9, 2025 05:47 16m 47s gebner_smt_univs
gebner_smt_univs
January 9, 2025 05:47 16m 47s
Errors: Introducing '--message_format github', for github actions CI #75: Pull request #3553 synchronize by mtzguido
January 9, 2025 04:44 35m 41s mtzguido:github_errs
mtzguido:github_errs
January 9, 2025 04:44 35m 41s
Errors: Introducing '--message_format github', for github actions Check for stale hints #134: Pull request #3553 synchronize by mtzguido
January 9, 2025 04:44 16s mtzguido:github_errs
mtzguido:github_errs
January 9, 2025 04:44 16s
Merge pull request #3663 from mtzguido/mk2 CI #74: Commit c72e8b7 pushed by mtzguido
January 9, 2025 04:19 35m 51s master
master
January 9, 2025 04:19 35m 51s
Makefile/opam fixes CI #73: Pull request #3663 synchronize by mtzguido
January 9, 2025 03:43 36m 16s mtzguido:mk2
mtzguido:mk2
January 9, 2025 03:43 36m 16s
Makefile/opam fixes Check for stale hints #133: Pull request #3663 synchronize by mtzguido
January 9, 2025 03:43 13s mtzguido:mk2
mtzguido:mk2
January 9, 2025 03:43 13s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #61: Scheduled
January 9, 2025 02:41 2h 21m 14s master
master
January 9, 2025 02:41 2h 21m 14s
Makefile/opam fixes Check for stale hints #132: Pull request #3663 opened by mtzguido
January 9, 2025 01:12 15s mtzguido:mk2
mtzguido:mk2
January 9, 2025 01:12 15s
Makefile/opam fixes CI #72: Pull request #3663 opened by mtzguido
January 9, 2025 01:12 35m 43s mtzguido:mk2
mtzguido:mk2
January 9, 2025 01:12 35m 43s
F* nightly build F* nightly build #4: Scheduled
January 9, 2025 01:00 20m 34s master
master
January 9, 2025 01:00 20m 34s
Errors: Introducing '--message_format github', for github actions CI #71: Pull request #3553 synchronize by mtzguido
January 9, 2025 00:30 36m 32s mtzguido:github_errs
mtzguido:github_errs
January 9, 2025 00:30 36m 32s
Errors: Introducing '--message_format github', for github actions Check for stale hints #131: Pull request #3553 synchronize by mtzguido
January 9, 2025 00:30 18s mtzguido:github_errs
mtzguido:github_errs
January 9, 2025 00:30 18s
Errors: Introducing '--message_format github', for github actions Check for stale hints #130: Pull request #3553 synchronize by mtzguido
January 8, 2025 22:04 16s mtzguido:github_errs
mtzguido:github_errs
January 8, 2025 22:04 16s
Errors: Introducing '--message_format github', for github actions CI #70: Pull request #3553 synchronize by mtzguido
January 8, 2025 22:04 35m 48s mtzguido:github_errs
mtzguido:github_errs
January 8, 2025 22:04 35m 48s
push universes when checking an effect declaration CI #69: Commit c1506b1 pushed by nikswamy
January 8, 2025 21:52 16m 42s gebner_smt_univs
gebner_smt_univs
January 8, 2025 21:52 16m 42s
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