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

Check world (test F* + all subprojects) Check world (test F* + all subprojects) #63: Scheduled
January 11, 2025 02:10 2h 22m 53s master
master
January 11, 2025 02:10 2h 22m 53s
F* nightly build F* nightly build #6: Scheduled
January 11, 2025 01:01 21m 18s master
master
January 11, 2025 01:01 21m 18s
set universe to zero in mk_subtype_of_unit CI #121: Commit e8a1ba2 pushed by nikswamy
January 11, 2025 00:58 39m 33s nik_smt_univs_2025
nik_smt_univs_2025
January 11, 2025 00:58 39m 33s
Merge pull request #3673 from mtzguido/fixvscode CI #120: Commit 27da2e0 pushed by mtzguido
January 11, 2025 00:25 35m 37s master
master
January 11, 2025 00:25 35m 37s
src: Fix VS code config to match Makefile CI #119: Pull request #3673 opened by mtzguido
January 10, 2025 23:49 36m 16s mtzguido:fixvscode
mtzguido:fixvscode
January 10, 2025 23:49 36m 16s
before rebasing CI #118: Commit de055ae pushed by nikswamy
January 10, 2025 23:15 39m 29s nik_smt_univs_2025
nik_smt_univs_2025
January 10, 2025 23:15 39m 29s
Disable cross-effect subtyping of arrows CI #117: Pull request #3665 synchronize by gebner
January 10, 2025 22:52 34m 18s gebner_effect_subtyping
gebner_effect_subtyping
January 10, 2025 22:52 34m 18s
Disable eta-expansion in MLish CI #116: Commit 5f77e2b pushed by gebner
January 10, 2025 22:52 34m 26s gebner_effect_subtyping
gebner_effect_subtyping
January 10, 2025 22:52 34m 26s
Erase functions to fun CI #115: Pull request #3661 synchronize by gebner
January 10, 2025 22:11 37m 7s gebner_erase_fun
gebner_erase_fun
January 10, 2025 22:11 37m 7s
Suppress erasable warning for props. CI #114: Commit 292723c pushed by gebner
January 10, 2025 22:11 38m 47s gebner_erase_fun
gebner_erase_fun
January 10, 2025 22:11 38m 47s
Detecting GITHUB_ENV and autoprinting github messages CI #113: Pull request #3671 opened by mtzguido
January 10, 2025 19:35 36m 19s mtzguido:auto_github
mtzguido:auto_github
January 10, 2025 19:35 36m 19s
Merge pull request #3553 from mtzguido/github_errs CI #112: Commit bc1b12e pushed by github-merge-queue bot
January 10, 2025 17:33 36m 18s master
master
January 10, 2025 17:33 36m 18s
Merge pull request #3670 from mtzguido/checkfriends CI #111: Commit 19c2d3d pushed by github-merge-queue bot
January 10, 2025 17:29 35m 56s master
master
January 10, 2025 17:29 35m 56s
Merge pull request #3553 from mtzguido/github_errs CI #110: Commit bc1b12e pushed by github-merge-queue bot
January 10, 2025 16:56 35m 57s gh-readonly-queue/master/pr-3553-19c2d3dff75f86a358199eecfb0759a1d7aba476
gh-readonly-queue/master/pr-3553-19c2d3dff75f86a358199eecfb0759a1d7aba476
January 10, 2025 16:56 35m 57s
CI CI #109: Merge group checks requested
January 10, 2025 16:56 37m 12s
January 10, 2025 16:56 37m 12s
Merge pull request #3670 from mtzguido/checkfriends CI #108: Commit 19c2d3d pushed by github-merge-queue bot
January 10, 2025 16:53 35m 23s gh-readonly-queue/master/pr-3670-ffbbce24732b0f6d1cf1337db693a67dc50b7ff5
gh-readonly-queue/master/pr-3670-ffbbce24732b0f6d1cf1337db693a67dc50b7ff5
January 10, 2025 16:53 35m 23s
CI CI #107: Merge group checks requested
January 10, 2025 16:53 36m 30s
January 10, 2025 16:53 36m 30s
Errors: Introducing '--message_format github', for github actions CI #106: Pull request #3553 synchronize by mtzguido
January 10, 2025 16:20 36m 6s mtzguido:github_errs
mtzguido:github_errs
January 10, 2025 16:20 36m 6s
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