Skip to content
Kani

Challenge 23: Verify safety of Vec functions part 1 #2486

Sign in to view logs

Challenge 23: Verify safety of Vec functions part 1

Challenge 23: Verify safety of Vec functions part 1 #2486

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
1h 3m 44s
Kani Autoharness Analyzer
41m 55s
Verify std library using autoharness (ubuntu-latest)
1h 9m 3s
Kani Metrics (ubuntu-latest)
1h 2m 42s
Verify std library (partition 4)
50m 51s
Kani Metrics (macos-latest)
1h 28m 48s
Verify std library (partition 3)
23m 1s
Verify std library (partition 3)
30m 33s
Verify std library (partition 1)
40m 5s
Verify std library (partition 2)
31m 26s
Verify std library (partition 2)
41m 41s
Verify std library using autoharness (macos-latest)
1h 5m 54s
Verify std library (partition 1)
36m 58s
Verify std library (partition 4)
51m 7s
Build JSON from logs (ubuntu-latest)
14s
Build JSON from logs (macos-latest)
15s
11h 38m 17s