Skip to content

Actions: FStarLang/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,440 workflow runs
3,440 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) #103: Scheduled
February 8, 2025 02:05 2h 27m 9s master
master
February 8, 2025 02:05 2h 27m 9s
Tactics: introduce postprocess_type CI #266: Pull request #3725 synchronize by mtzguido
February 8, 2025 01:15 34m 50s mtzguido:postprocess
mtzguido:postprocess
February 8, 2025 01:15 34m 50s
F* nightly build F* nightly build #37: Scheduled
February 8, 2025 00:58 28m 13s master
master
February 8, 2025 00:58 28m 13s
Merge pull request #3726 from mtzguido/nits CI #265: Commit 77b07b2 pushed by mtzguido
February 7, 2025 23:22 34m 26s master
master
February 7, 2025 23:22 34m 26s
Nits CI #264: Pull request #3726 opened by mtzguido
February 7, 2025 22:48 34m 42s mtzguido:nits
mtzguido:nits
February 7, 2025 22:48 34m 42s
Tactics: introduce postprocess_type CI #263: Pull request #3725 opened by mtzguido
February 7, 2025 22:28 35m 11s mtzguido:postprocess
mtzguido:postprocess
February 7, 2025 22:28 35m 11s
Merge pull request #3724 from mtzguido/fix CI #262: Commit 33c02b7 pushed by mtzguido
February 7, 2025 21:47 35m 5s master
master
February 7, 2025 21:47 35m 5s
test.mk: Make sure to be silent on error output tests CI #261: Pull request #3724 opened by mtzguido
February 7, 2025 21:12 34m 49s mtzguido:fix
mtzguido:fix
February 7, 2025 21:12 34m 49s
Merge pull request #3723 from mtzguido/delta_attr CI #260: Commit fb57af6 pushed by mtzguido
February 7, 2025 20:54 35m 8s master
master
February 7, 2025 20:54 35m 8s
Normalizer: making delta attributes compose CI #259: Pull request #3723 opened by mtzguido
February 7, 2025 20:18 34m 35s mtzguido:delta_attr
mtzguido:delta_attr
February 7, 2025 20:18 34m 35s
Merge pull request #3722 from mtzguido/tuple_ref CI #258: Commit 48db48a pushed by mtzguido
February 7, 2025 19:12 35m 5s master
master
February 7, 2025 19:12 35m 5s
Some refactoring, and tidying up libraries during build CI #257: Pull request #3722 opened by mtzguido
February 7, 2025 18:36 35m 53s mtzguido:tuple_ref
mtzguido:tuple_ref
February 7, 2025 18:36 35m 53s
Create F* release and publish Create F* release and publish #64: Manually run by mtzguido
February 7, 2025 09:08 29m 40s master
master
February 7, 2025 09:08 29m 40s
Merge pull request #3721 from mtzguido/release CI #256: Commit 691c345 pushed by mtzguido
February 7, 2025 09:04 36m 17s master
master
February 7, 2025 09:04 36m 17s
Bump version number CI #255: Pull request #3721 synchronize by mtzguido
February 7, 2025 08:29 35m 2s mtzguido:release
mtzguido:release
February 7, 2025 08:29 35m 2s
Bump version number CI #254: Pull request #3721 synchronize by mtzguido
February 7, 2025 07:33 37m 59s mtzguido:release
mtzguido:release
February 7, 2025 07:33 37m 59s
Bump version number CI #253: Pull request #3721 opened by mtzguido
February 7, 2025 07:15 35m 37s mtzguido:release
mtzguido:release
February 7, 2025 07:15 35m 37s
Check world (test F* + all subprojects) Check world (test F* + all subprojects) #102: Manually run by mtzguido
February 7, 2025 04:15 43m 6s master
master
February 7, 2025 04:15 43m 6s
Merge pull request #3720 from mtzguido/errs CI #252: Commit 423ca92 pushed by mtzguido
February 7, 2025 03:50 35m 0s master
master
February 7, 2025 03:50 35m 0s
Create F* release and publish Create F* release and publish #63: Manually run by mtzguido
February 7, 2025 03:39 30m 4s master
master
February 7, 2025 03:39 30m 4s
Some fixes in support of Pulse errors CI #251: Pull request #3720 synchronize by mtzguido
February 7, 2025 03:15 35m 16s mtzguido:errs
mtzguido:errs
February 7, 2025 03:15 35m 16s
Merge pull request #3719 from mtzguido/build CI #250: Commit 9b23ef3 pushed by mtzguido
February 7, 2025 03:14 36m 22s master
master
February 7, 2025 03:14 36m 22s
Some fixes in support of Pulse errors CI #249: Pull request #3720 synchronize by mtzguido
February 7, 2025 03:14 35m 24s mtzguido:errs
mtzguido:errs
February 7, 2025 03:14 35m 24s
Some fixes in support of Pulse errors CI #248: Pull request #3720 opened by mtzguido
February 7, 2025 02:26 34m 52s mtzguido:errs
mtzguido:errs
February 7, 2025 02:26 34m 52s
Makefile/package fixes CI #247: Pull request #3719 opened by mtzguido
February 7, 2025 02:24 36m 35s mtzguido:build
mtzguido:build
February 7, 2025 02:24 36m 35s