Improvements to opam init "Git" menu on Windows
#2857
| Job | Run time |
|---|---|
| 5s | |
| 28s | |
| 5s | |
| 2m 35s | |
| 2m 9s | |
| 29m 57s | |
| 1m 55s | |
| 2m 4s | |
| 1m 59s | |
| 1m 57s | |
| 1m 49s | |
| 2m 5s | |
| 1m 42s | |
| 1m 46s | |
| 41m 43s | |
| 49m 12s | |
| 47m 10s | |
| 53m 12s | |
| 49m 34s | |
| 1m 2s | |
| 49s | |
| 5m 13s | |
| 13m 22s | |
| 1m 18s | |
| 1m 24s | |
| 1m 24s | |
| 1m 41s | |
| 5h 17m 40s |