Minor housekeeping. #483
Job | Run time |
---|---|
25s | |
20s | |
20s | |
14s | |
18s | |
13s | |
15s | |
15s | |
20s | |
15s | |
20s | |
34s | |
36s | |
37s | |
14s | |
43s | |
47s | |
36s | |
48s | |
33s | |
13s | |
10s | |
11s | |
43s | |
30s | |
10m 30s |
Job | Run time |
---|---|
25s | |
20s | |
20s | |
14s | |
18s | |
13s | |
15s | |
15s | |
20s | |
15s | |
20s | |
34s | |
36s | |
37s | |
14s | |
43s | |
47s | |
36s | |
48s | |
33s | |
13s | |
10s | |
11s | |
43s | |
30s | |
10m 30s |