Bump Kani version to 0.31.0 #4798
Job | Run time |
---|---|
29m 9s | |
36m 54s | |
6m 41s | |
1h 7m 19s | |
38m 4s | |
28m 12s | |
26m 25s | |
10m 16s | |
43m 24s | |
20m 13s | |
5h 6m 37s |
Job | Run time |
---|---|
29m 9s | |
36m 54s | |
6m 41s | |
1h 7m 19s | |
38m 4s | |
28m 12s | |
26m 25s | |
10m 16s | |
43m 24s | |
20m 13s | |
5h 6m 37s |