Skip to content
Kani

Parallelize & Partition Verification #1154

Sign in to view logs

Parallelize & Partition Verification

Parallelize & Partition Verification #1154

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 34s
Verify std library (partition 1)
1h 0m 20s
Verify std library (partition 2)
29m 36s
Verify std library (partition 3)
26m 34s
Verify std library (partition 4)
34m 35s
Verify std library (partition 1)
50m 44s
Verify std library (partition 2)
29m 22s
Verify std library (partition 3)
22m 54s
Verify std library (partition 4)
33m 21s
4h 57m 0s