Merge pull request #372 from christian-rauch/win32_lean_and_mean #170
Job | Run time |
---|---|
16s | |
15s | |
22s | |
22s | |
1m 2s | |
1m 17s | |
1m 35s | |
43s | |
43s | |
1m 22s | |
33s | |
30s | |
9m 0s |
Job | Run time |
---|---|
16s | |
15s | |
22s | |
22s | |
1m 2s | |
1m 17s | |
1m 35s | |
43s | |
43s | |
1m 22s | |
33s | |
30s | |
9m 0s |