Skip to content
Kani

Update toolchain & Kani version to 2025-02-11 #53

Sign in to view logs

Update toolchain & Kani version to 2025-02-11

Update toolchain & Kani version to 2025-02-11 #53

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
32m 58s
Verify std library (partition 1)
1h 5m 10s
Verify std library (partition 2)
1h 29m 27s
Verify std library (partition 3)
1h 30m 56s
Verify std library (partition 4)
1h 48m 0s
Verify std library (partition 1)
55m 40s
Verify std library (partition 2)
1h 0m 47s
Verify std library (partition 3)
1h 23m 29s
Verify std library (partition 4)
1h 40m 7s
11h 26m 34s