Skip to content
Kani

transmute_unchecked contracts and harnesses #1252

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #1252

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 48s
Verify std library (partition 1)
39m 1s
Verify std library (partition 2)
30m 4s
Verify std library (partition 3)
27m 8s
Verify std library (partition 4)
35m 28s
Verify std library (partition 1)
41m 18s
Verify std library (partition 2)
24m 48s
Verify std library (partition 3)
28m 40s
Verify std library (partition 4)
35m 43s
4h 31m 58s