Commit d270d5ae authored by Seb Mondet's avatar Seb Mondet

Fix Opam repository in the `.gitlab-ci.yml`

parent e4e91caf
Pipeline #11358452 passed with stage
in 2 minutes and 17 seconds
...@@ -2,6 +2,9 @@ ...@@ -2,6 +2,9 @@
variables: variables:
BUILD_SCRIPT: > BUILD_SCRIPT: >
sudo apt-get update -qq && sudo apt-get update -qq &&
opam config exec -- opam remote add --priority 100 mothership https://github.com/ocaml/opam-repository.git &&
opam config exec -- opam update --yes &&
opam config exec -- opam upgrade --yes &&
opam config exec -- opam pin --yes -n add misuja https://gitlab.com/smondet/misuja.git && opam config exec -- opam pin --yes -n add misuja https://gitlab.com/smondet/misuja.git &&
opam config exec -- opam depext --yes misuja && opam config exec -- opam depext --yes misuja &&
opam config exec -- opam install --yes misuja && opam config exec -- opam install --yes misuja &&
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment