windows: opam root redirection when path contains spaces #2890
| Job | Run time |
|---|---|
| 7s | |
| 5s | |
| 24s | |
| 2m 30s | |
| 29m 52s | |
| 2m 16s | |
| 2m 8s | |
| 2m 11s | |
| 2m 19s | |
| 2m 16s | |
| 2m 21s | |
| 2m 23s | |
| 2m 17s | |
| 2m 12s | |
| 38m 36s | |
| 47m 3s | |
| 50m 22s | |
| 51m 25s | |
| 53m 25s | |
| 1m 2s | |
| 1m 7s | |
| 1m 21s | |
| 5m 23s | |
| 13m 9s | |
| 1m 33s | |
| 1m 51s | |
| 1m 29s | |
| 5h 21m 7s |