Skip to content
Kani

Run format check in our CI and fix repo format #1226

Sign in to view logs

Run format check in our CI and fix repo format

Run format check in our CI and fix repo format #1226

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 12s
Verify std library (partition 1)
42m 42s
Verify std library (partition 2)
28m 50s
Verify std library (partition 3)
27m 1s
Verify std library (partition 4)
34m 49s
Verify std library (partition 1)
40m 20s
Verify std library (partition 2)
25m 39s
Verify std library (partition 3)
24m 51s
Verify std library (partition 4)
30m 41s
4h 24m 5s