Revert "Run opam update --depext
before installing system dependenc…
#4176
Job | Run time |
---|---|
41s | |
1m 24s | |
1m 41s | |
3m 35s | |
1m 52s | |
1m 35s | |
10m 48s |
opam update --depext
before installing system dependenc…
#4176
Job | Run time |
---|---|
41s | |
1m 24s | |
1m 41s | |
3m 35s | |
1m 52s | |
1m 35s | |
10m 48s |