CI: add missing opam repo set-url in build job

dannywillems · Aug 24, 2022 · 8b36ccf · 8b36ccf
1 parent ba004f9
commit 8b36ccf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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