Revert "Run opam update --depext
before installing system dependencies"
#2834
Job | Run time |
---|---|
56s | |
55s | |
1m 51s |
opam update --depext
before installing system dependencies"
#2834
Job | Run time |
---|---|
56s | |
55s | |
1m 51s |