Commit 0eb7d3b3 authored by Seb Mondet's avatar Seb Mondet

Fix CI #WIP

parent 4ddd722e
Pipeline #67609069 failed with stage
in 3 minutes and 40 seconds
variables:
BUILD_SCRIPT: >
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 remote add 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 . &&
opam config exec -- opam depext --yes misuja &&
opam config exec -- opam install --yes misuja &&
opam config exec -- dune build @install src/test/relay.exe
......
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