Fix last commit which was broken on Linux. #435
Job | Run time |
---|---|
39m 22s | |
41m 48s | |
41m 47s | |
41m 47s | |
21m 2s | |
20m 47s | |
11m 50s | |
11m 44s | |
9s | |
3h 50m 16s |
Job | Run time |
---|---|
39m 22s | |
41m 48s | |
41m 47s | |
41m 47s | |
21m 2s | |
20m 47s | |
11m 50s | |
11m 44s | |
9s | |
3h 50m 16s |