Skip to content
Kani

transmute_unchecked contracts and harnesses #1263

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #1263

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 35s
Verify std library (partition 1)
36m 42s
Verify std library (partition 2)
33m 42s
Verify std library (partition 3)
26m 45s
Verify std library (partition 4)
34m 32s
Verify std library (partition 1)
39m 33s
Verify std library (partition 2)
27m 36s
Verify std library (partition 3)
29m 22s
Verify std library (partition 4)
32m 43s
4h 30m 30s