Skip to content
Kani

Add safety preconditions to std/src/alloc.rs #1627

Sign in to view logs

Add safety preconditions to std/src/alloc.rs

Add safety preconditions to std/src/alloc.rs #1627

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library (partition 1)
54m 10s
Verify std library (partition 2)
1h 22m 24s
Verify std library using autoharness (ubuntu-latest)
3m 26s
Verify std library (partition 3)
1h 31m 44s
Verify std library (partition 1)
40m 14s
Kani List
25m 41s
Verify std library (partition 4)
1h 44m 22s
Verify std library using autoharness (macos-latest)
6m 45s
Verify std library (partition 2)
56m 3s
Verify std library (partition 4)
1h 18m 40s
Verify std library (partition 3)
1h 11m 42s
10h 15m 11s