Skip to content
Kani

transmute_unchecked contracts and harnesses #1254

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #1254

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 34s
Verify std library (partition 1)
38m 9s
Verify std library (partition 2)
29m 39s
Verify std library (partition 3)
26m 57s
Verify std library (partition 4)
35m 3s
Verify std library (partition 1)
39m 26s
Verify std library (partition 2)
26m 16s
Verify std library (partition 3)
31m 22s
Verify std library (partition 4)
31m 30s
4h 27m 56s