Skip to content
Kani

Add harnesses for safety of primitive conversions #1171

Sign in to view logs

Add harnesses for safety of primitive conversions

Add harnesses for safety of primitive conversions #1171

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
6h 0m 12s
Verify std library (partition 1)
6h 0m 13s
Verify std library (partition 2)
6h 0m 13s
Verify std library (partition 3)
6h 0m 19s
Verify std library (partition 4)
6h 0m 14s
Verify std library (partition 1)
6h 0m 14s
Verify std library (partition 2)
6h 0m 15s
Verify std library (partition 3)
6h 0m 16s
Verify std library (partition 4)
6h 0m 16s
2d 6h 2m 12s