Bump Kani version to 0.31.0 #4799
Job | Run time |
---|---|
6m 32s | |
35m 23s | |
31m 25s | |
34m 41s | |
23m 9s | |
30m 3s | |
21m 15s | |
1h 13m 34s | |
12m 56s | |
31m 4s | |
5h 0m 2s |
Job | Run time |
---|---|
6m 32s | |
35m 23s | |
31m 25s | |
34m 41s | |
23m 9s | |
30m 3s | |
21m 15s | |
1h 13m 34s | |
12m 56s | |
31m 4s | |
5h 0m 2s |