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 #357: Scheduled
9m 42s main
main
9m 42s
Steel CI Steel CI #356: Scheduled
28m 10s main
main
28m 10s
Steel CI Steel CI #355: Scheduled
28m 30s main
main
28m 30s
Steel CI Steel CI #354: Scheduled
57m 50s main
main
57m 50s
Steel CI Steel CI #353: Scheduled
1h 1m 44s main
main
1h 1m 44s
Steel CI Steel CI #352: Scheduled
1h 18m 53s main
main
1h 18m 53s
Steel CI Steel CI #351: Scheduled
58m 25s main
main
58m 25s
Steel CI Steel CI #350: Scheduled
57m 29s main
main
57m 29s
Steel CI Steel CI #349: Scheduled
1h 13m 38s main
main
1h 13m 38s
Steel CI Steel CI #348: Scheduled
1h 1m 17s main
main
1h 1m 17s
Steel CI Steel CI #347: Scheduled
59m 20s main
main
59m 20s
Steel CI Steel CI #346: Scheduled
1h 14m 1s main
main
1h 14m 1s
Steel CI Steel CI #345: Scheduled
59m 58s main
main
59m 58s
Steel CI Steel CI #344: Scheduled
1h 3m 3s main
main
1h 3m 3s
Steel CI Steel CI #343: Scheduled
59m 43s main
main
59m 43s
Steel CI Steel CI #342: Scheduled
1h 0m 12s main
main
1h 0m 12s
Steel CI Steel CI #341: Scheduled
1h 3m 7s main
main
1h 3m 7s
Steel CI Steel CI #340: Scheduled
1h 15m 44s main
main
1h 15m 44s
Steel CI Steel CI #339: Scheduled
1h 16m 23s main
main
1h 16m 23s
Merge pull request #227 from mtzguido/fix-nightly-proofs Steel CI #338: Commit d456e0a pushed by mtzguido
21m 4s main
main
21m 4s
Fix proofs Steel CI #337: Pull request #227 opened by mtzguido
20m 18s mtzguido:fix-nightly-proofs
mtzguido:fix-nightly-proofs
20m 18s
Steel CI Steel CI #336: Scheduled
1h 5m 40s main
main
1h 5m 40s
Steel CI Steel CI #335: Scheduled
58m 9s main
main
58m 9s
Steel CI Steel CI #334: Scheduled
54m 43s main
main
54m 43s
Steel CI Steel CI #333: Scheduled
1h 15m 56s main
main
1h 15m 56s