Skip to content
Kani

Verify safety of iterator adapter functions (Challenge 16) #2511

Sign in to view logs

Verify safety of iterator adapter functions (Challenge 16)

Verify safety of iterator adapter functions (Challenge 16) #2511

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library using autoharness (macos-latest)
1h 4m 12s
Kani List
1h 0m 51s
Verify std library using autoharness (ubuntu-latest)
1h 17m 38s
Kani Autoharness Analyzer
46m 1s
Kani Metrics (ubuntu-latest)
1h 6m 45s
Kani Metrics (macos-latest)
1h 28m 23s
Verify std library (partition 1)
39m 47s
Verify std library (partition 3)
27m 25s
Verify std library (partition 4)
50m 40s
Verify std library (partition 1)
42m 42s
Verify std library (partition 2)
42m 4s
Verify std library (partition 4)
37m 8s
Verify std library (partition 3)
30m 24s
Verify std library (partition 2)
30m 55s
Build JSON from logs (macos-latest)
14s
Build JSON from logs (ubuntu-latest)
10s
11h 45m 19s