Skip to content
Kani

Merge subtree update for toolchain nightly-2025-02-10 #13

Sign in to view logs

Merge subtree update for toolchain nightly-2025-02-10

Merge subtree update for toolchain nightly-2025-02-10 #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library (partition 1)
1h 13m 51s
Verify std library (partition 2)
1h 18m 51s
Kani List
29m 1s
Verify std library (partition 3)
1h 11m 59s
Verify std library (partition 4)
1h 23m 54s
Verify std library (partition 1)
6h 0m 25s
Verify std library (partition 2)
6h 0m 22s
Verify std library (partition 3)
6h 0m 20s
Verify std library (partition 4)
6h 0m 25s
1d 5h 39m 8s