Fixes after merging upstream #83
Job | Run time |
---|---|
14m 45s | |
14m 29s | |
19m 57s | |
16m 6s | |
16m 27s | |
18m 4s | |
16m 30s | |
16m 36s | |
15m 43s | |
16m 37s | |
2h 45m 14s |
Job | Run time |
---|---|
14m 45s | |
14m 29s | |
19m 57s | |
16m 6s | |
16m 27s | |
18m 4s | |
16m 30s | |
16m 36s | |
15m 43s | |
16m 37s | |
2h 45m 14s |