Various cleanups #2495
Job | Run time |
---|---|
33s | |
16s | |
47s | |
17s | |
28s | |
46s | |
49s | |
20s | |
40s | |
13s | |
33s | |
45s | |
41s | |
45s | |
45s | |
8s | |
46s | |
39s | |
36s | |
46s | |
47s | |
12m 20s |
Job | Run time |
---|---|
33s | |
16s | |
47s | |
17s | |
28s | |
46s | |
49s | |
20s | |
40s | |
13s | |
33s | |
45s | |
41s | |
45s | |
45s | |
8s | |
46s | |
39s | |
36s | |
46s | |
47s | |
12m 20s |