Skip to content
Kani

transmute_unchecked contracts and harnesses #1255

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #1255

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 13s
Verify std library (partition 1)
37m 52s
Verify std library (partition 2)
29m 37s
Verify std library (partition 3)
28m 45s
Verify std library (partition 4)
36m 17s
Verify std library (partition 1)
41m 48s
Verify std library (partition 2)
29m 56s
Verify std library (partition 3)
27m 2s
Verify std library (partition 4)
32m 59s
4h 33m 29s