This commit is contained in:
parent
f577e2dede
commit
0b7fb36b96
|
@ -7,4 +7,4 @@ steps:
|
||||||
commands:
|
commands:
|
||||||
- sudo chown -R opam .
|
- sudo chown -R opam .
|
||||||
- git -C /home/opam/opam-repository pull origin && opam update
|
- git -C /home/opam/opam-repository pull origin && opam update
|
||||||
- opam install -t -y .
|
- opam depext -i -t .
|
||||||
|
|
Loading…
Reference in a new issue