Commit 513d278f authored by erwan's avatar erwan
Browse files

ci: ditto

parent ddc33bf9
Pipeline #71462 passed with stages
in 5 minutes and 22 seconds
......@@ -21,7 +21,7 @@ build:
test_opam_test:
stage: test
script:
- sudo apt-get install -y m4
- sudo apt update
- opam repo add opam-ocaml-org "https://opam.ocaml.org"
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- opam update
......
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