Skip to content

Actions: FStarLang/steel

Actions

Steel CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Steel CI Steel CI #282: Scheduled
56m 11s main
main
56m 11s
Steel CI Steel CI #281: Scheduled
1h 17m 50s main
main
1h 17m 50s
Steel CI Steel CI #280: Scheduled
1h 19m 37s main
main
1h 19m 37s
Steel CI Steel CI #279: Scheduled
58m 50s main
main
58m 50s
Merge pull request #213 from mtzguido/fix Steel CI #278: Commit 6e7352a pushed by mtzguido
46m 50s main
main
46m 50s
Fix, bump rlimit Steel CI #277: Pull request #213 opened by mtzguido
43m 31s mtzguido:fix
mtzguido:fix
43m 31s
Steel CI Steel CI #276: Scheduled
1h 22m 31s main
main
1h 22m 31s
Merge pull request #212 from mtzguido/fix Steel CI #275: Commit bbfd29a pushed by mtzguido
24m 25s main
main
24m 25s
Steel.ST.GenArraySwap: use old arith solver in one flaky proof Steel CI #274: Pull request #212 opened by mtzguido
24m 49s mtzguido:fix
mtzguido:fix
24m 49s
Merge pull request #211 from mtzguido/no_ide_workaround Steel CI #273: Commit d3b0c96 pushed by mtzguido
33m 11s main
main
33m 11s
Remove --ide_id_info_off workarounds Steel CI #272: Pull request #211 opened by mtzguido
43m 4s mtzguido:no_ide_workaround
mtzguido:no_ide_workaround
43m 4s
Steel CI Steel CI #271: Scheduled
36m 6s main
main
36m 6s
Steel CI Steel CI #270: Scheduled
37m 15s main
main
37m 15s
Steel CI Steel CI #269: Scheduled
35m 39s main
main
35m 39s
Steel CI Steel CI #268: Scheduled
35m 38s main
main
35m 38s
Steel CI Steel CI #267: Scheduled
17m 51s main
main
17m 51s
Steel CI Steel CI #266: Scheduled
17m 32s main
main
17m 32s
Steel CI Steel CI #265: Scheduled
35m 22s main
main
35m 22s
Steel CI Steel CI #264: Scheduled
16m 50s main
main
16m 50s
Steel CI Steel CI #263: Scheduled
17m 13s main
main
17m 13s
Steel CI Steel CI #262: Scheduled
16m 36s main
main
16m 36s
Steel CI Steel CI #261: Scheduled
36m 19s main
main
36m 19s
Merge pull request #210 from mtzguido/term_eq Steel CI #260: Commit 0e18d36 pushed by mtzguido
24m 12s main
main
24m 12s
Steel CI Steel CI #259: Scheduled
58m 40s main
main
58m 40s
Steel CI Steel CI #258: Scheduled
1h 15m 37s main
main
1h 15m 37s