diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 42e5d5a..32d6b82 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -209,6 +209,7 @@ build: - sudo apt-get update - "[ -d _opam ] || opam switch create --yes --no-install . $OCAML_COMPILER" - eval $(opam env) + - opam repository set-url default https://opam.ocaml.org - opam update - sudo apt-get install nodejs python3 -y