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 #332: Scheduled
1h 14m 28s main
main
1h 14m 28s
Steel CI Steel CI #331: Scheduled
55m 29s main
main
55m 29s
Merge pull request #226 from FStarLang/_nik_smt_univs_2025 Steel CI #330: Commit b1e5936 pushed by nikswamy
22m 41s main
main
22m 41s
Fixing Steel to work with F* smt universes Steel CI #329: Pull request #226 opened by nikswamy
24m 11s _nik_smt_univs_2025
_nik_smt_univs_2025
24m 11s
Steel CI Steel CI #328: Scheduled
52m 43s main
main
52m 43s
Steel CI Steel CI #327: Scheduled
54m 21s main
main
54m 21s
Steel CI Steel CI #326: Scheduled
54m 16s main
main
54m 16s
Steel CI Steel CI #325: Scheduled
54m 29s main
main
54m 29s
Steel CI Steel CI #324: Scheduled
1h 13m 57s main
main
1h 13m 57s
Steel CI Steel CI #323: Scheduled
53m 28s main
main
53m 28s
Steel CI Steel CI #322: Scheduled
1h 15m 46s main
main
1h 15m 46s
Steel CI Steel CI #321: Scheduled
1h 13m 9s main
main
1h 13m 9s
Steel CI Steel CI #320: Scheduled
58m 42s main
main
58m 42s
Steel CI Steel CI #319: Scheduled
56m 41s main
main
56m 41s
Steel CI Steel CI #318: Scheduled
57m 48s main
main
57m 48s
Steel CI Steel CI #317: Scheduled
54m 40s main
main
54m 40s
Steel CI Steel CI #316: Scheduled
1h 16m 26s main
main
1h 16m 26s
Steel CI Steel CI #315: Scheduled
55m 21s main
main
55m 21s
Steel CI Steel CI #314: Scheduled
54m 14s main
main
54m 14s
Steel CI Steel CI #313: Scheduled
53m 49s main
main
53m 49s
Steel CI Steel CI #312: Scheduled
56m 7s main
main
56m 7s
Steel CI Steel CI #311: Scheduled
58m 41s main
main
58m 41s
Steel CI Steel CI #310: Scheduled
54m 25s main
main
54m 25s
Steel CI Steel CI #309: Scheduled
55m 46s main
main
55m 46s
Steel CI Steel CI #308: Scheduled
54m 58s main
main
54m 58s