Skip to content
Kani

Kani #1613

Sign in to view logs

Kani

Kani #1613

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
24m 11s
Verify std library (partition 1)
50m 11s
Verify std library (partition 3)
1h 16m 45s
Verify std library (partition 4)
1h 24m 36s
Verify std library (partition 2)
1h 19m 11s
Verify std library (partition 1)
44m 58s
Verify std library (partition 2)
58m 24s
Verify std library (partition 4)
2h 1m 11s
Verify std library (partition 3)
1h 17m 1s
10h 16m 28s