diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c11dbf899ec0e9856778aedc819a850182043422..f7adf30b02627e706bb6ada82457d30a22b667bf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -12,6 +12,7 @@ build: stage: build script: - sudo apt-get install -y m4 + - opam repo add official "https://opam.ocaml.org/" - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository" - opam update - opam install -y ocamlfind dune extlib