Rework the safety invariants of Global
a bit
#2364
Job | Run time |
---|---|
49s | |
30s | |
58s | |
2m 37s | |
1m 31s | |
2m 15s | |
1m 15s | |
26s | |
2m 7s | |
2m 22s | |
1m 33s | |
2m 39s | |
2m 5s | |
2s | |
21m 9s |
Global
a bit
#2364
Job | Run time |
---|---|
49s | |
30s | |
58s | |
2m 37s | |
1m 31s | |
2m 15s | |
1m 15s | |
26s | |
2m 7s | |
2m 22s | |
1m 33s | |
2m 39s | |
2m 5s | |
2s | |
21m 9s |