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 #307: Scheduled
1h 17m 48s main
main
1h 17m 48s
Steel CI Steel CI #306: Scheduled
1h 26m 47s main
main
1h 26m 47s
Steel CI Steel CI #305: Scheduled
55m 9s main
main
55m 9s
Steel CI Steel CI #304: Scheduled
57m 27s main
main
57m 27s
Steel CI Steel CI #303: Scheduled
1h 16m 56s main
main
1h 16m 56s
Steel CI Steel CI #302: Scheduled
56m 33s main
main
56m 33s
Steel CI Steel CI #301: Scheduled
54m 44s main
main
54m 44s
Steel CI Steel CI #300: Scheduled
54m 54s main
main
54m 54s
Steel CI Steel CI #299: Scheduled
56m 2s main
main
56m 2s
Steel CI Steel CI #298: Scheduled
1h 15m 58s main
main
1h 15m 58s
Steel CI Steel CI #297: Scheduled
56m 45s main
main
56m 45s
Steel CI Steel CI #296: Scheduled
1h 0m 25s main
main
1h 0m 25s
Steel CI Steel CI #295: Scheduled
57m 31s main
main
57m 31s
Steel CI Steel CI #294: Scheduled
57m 17s main
main
57m 17s
Steel CI Steel CI #293: Scheduled
1h 16m 31s main
main
1h 16m 31s
Steel CI Steel CI #292: Scheduled
1h 18m 46s main
main
1h 18m 46s
Steel CI Steel CI #291: Scheduled
55m 41s main
main
55m 41s
Steel CI Steel CI #290: Scheduled
57m 10s main
main
57m 10s
Steel CI Steel CI #289: Scheduled
56m 9s main
main
56m 9s
Steel CI Steel CI #288: Scheduled
1h 22m 54s main
main
1h 22m 54s
Steel CI Steel CI #287: Scheduled
1h 16m 31s main
main
1h 16m 31s
Steel CI Steel CI #286: Scheduled
59m 7s main
main
59m 7s
Steel CI Steel CI #285: Scheduled
1h 18m 21s main
main
1h 18m 21s
Steel CI Steel CI #284: Scheduled
1h 18m 28s main
main
1h 18m 28s
Steel CI Steel CI #283: Scheduled
1h 19m 40s main
main
1h 19m 40s