minor optimization for non-windows #1195
Job | Run time |
---|---|
2m 52s | |
52s | |
28m 42s | |
22m 33s | |
15m 6s | |
44m 17s | |
13m 43s | |
46m 41s | |
39m 22s | |
28m 22s | |
26m 16s | |
10s | |
4h 28m 56s |
Job | Run time |
---|---|
2m 52s | |
52s | |
28m 42s | |
22m 33s | |
15m 6s | |
44m 17s | |
13m 43s | |
46m 41s | |
39m 22s | |
28m 22s | |
26m 16s | |
10s | |
4h 28m 56s |