Skip to content
Kani

Add challenge 23 24 for Vec #1401

Sign in to view logs

Add challenge 23 24 for Vec

Add challenge 23 24 for Vec #1401

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
31m 48s
Verify std library (partition 1)
1h 4m 32s
Verify std library (partition 2)
1h 52m 7s
Verify std library (partition 3)
1h 27m 21s
Verify std library (partition 4)
1h 59m 16s
Verify std library (partition 1)
55m 24s
Verify std library (partition 2)
1h 1m 4s
Verify std library (partition 3)
1h 20m 52s
Verify std library (partition 4)
1h 24m 42s
11h 37m 6s