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