Do not install opam-depext
if using opam 2.2 or later
#3144
Job | Run time |
---|---|
1m 22s | |
8m 17s | |
7m 25s | |
6m 47s | |
6m 1s | |
29m 52s |
opam-depext
if using opam 2.2 or later
#3144
Job | Run time |
---|---|
1m 22s | |
8m 17s | |
7m 25s | |
6m 47s | |
6m 1s | |
29m 52s |