diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c14d24b860c89ebe886854a10c0bffa0d9406b28..b015faa371c9970d15c52d44d19e32ec0d1d1101 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,7 +8,6 @@ stages: test: stage: build script: - - opam repo add opamorg "https://opam.ocaml.org/1.2.2" - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository" - eval `opam config env` - opam depext -y lustre-v6 lutin