Run opam update --depext before installing system dependencies
#2831
| Job | Run time |
|---|---|
| 52s | |
| 54s | |
| 1m 46s |
opam update --depext before installing system dependencies
#2831
| Job | Run time |
|---|---|
| 52s | |
| 54s | |
| 1m 46s |