tentative fix for getARGV on Windows #149
| Job | Run time |
|---|---|
| 18m 18s | |
| 25m 47s | |
| 19m 41s | |
| 27m 54s | |
| 12m 8s | |
| 20m 50s | |
| 17m 2s | |
| 21m 49s | |
| 31m 13s | |
| 19m 43s | |
| 43m 46s | |
| 4h 18m 11s |
| Job | Run time |
|---|---|
| 18m 18s | |
| 25m 47s | |
| 19m 41s | |
| 27m 54s | |
| 12m 8s | |
| 20m 50s | |
| 17m 2s | |
| 21m 49s | |
| 31m 13s | |
| 19m 43s | |
| 43m 46s | |
| 4h 18m 11s |