Skip to content
Kani

Kani #1585

Sign in to view logs

Kani

Kani #1585

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
25m 17s
Verify std library (partition 1)
55m 3s
Verify std library (partition 2)
1h 24m 3s
Verify std library (partition 4)
1h 49m 14s
Verify std library (partition 3)
1h 18m 11s
Verify std library (partition 1)
39m 37s
Verify std library (partition 2)
54m 13s
Verify std library (partition 3)
1h 15m 27s
Verify std library (partition 4)
1h 18m 21s
9h 59m 26s