Skip to content
Kani

Add contracts for SmallSort #1218

Sign in to view logs

Add contracts for SmallSort

Add contracts for SmallSort #1218

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library (partition 1)
4m 21s
Kani List
4m 9s
Verify std library (partition 2)
4m 20s
Verify std library (partition 3)
4m 47s
Verify std library (partition 4)
3m 59s
Verify std library (partition 1)
3m 55s
Verify std library (partition 2)
3m 42s
Verify std library (partition 3)
3m 50s
Verify std library (partition 4)
3m 57s
37m 0s