Several small changes each not worth its own PR #28
Job | Run time |
---|---|
6s | |
13m 48s | |
30m 23s | |
30m 7s | |
15m 47s | |
21m 7s | |
21m 59s | |
27m 14s | |
8m 14s | |
15m 18s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
28m 29s | |
0s | |
17m 33s | |
3h 50m 5s |
Job | Run time |
---|---|
6s | |
13m 48s | |
30m 23s | |
30m 7s | |
15m 47s | |
21m 7s | |
21m 59s | |
27m 14s | |
8m 14s | |
15m 18s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
28m 29s | |
0s | |
17m 33s | |
3h 50m 5s |