Merge pull request #372 from christian-rauch/win32_lean_and_mean #84
Job | Run time |
---|---|
30s | |
36s | |
33s | |
42s | |
29s | |
30s | |
28s | |
25s | |
26s | |
27s | |
29s | |
29s | |
25s | |
30s | |
6m 59s |
Job | Run time |
---|---|
30s | |
36s | |
33s | |
42s | |
29s | |
30s | |
28s | |
25s | |
26s | |
27s | |
29s | |
29s | |
25s | |
30s | |
6m 59s |