Fix generartion of docker images for the dev branch

b50b619a · Raphaël Cauderlier · 3b48668b · b50b619a · b50b619a
Unverified Commit b50b619a authored Jul 09, 2020 by Raphaël Cauderlier
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.gitlab-ci.yml .gitlab-ci.yml +0 -1

Dockerfile Dockerfile +1 -0

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -50,7 +50,6 @@ test:docker:
    - docker build --pull -t "$CI_REGISTRY_IMAGE:$CI_COMMIT_REF_SLUG" .
  except:
    - master
-    - /dev/

 publish:docker:master:
  # :latest image

--- a/Dockerfile
+++ b/Dockerfile
@@ -8,6 +8,7 @@ RUN opam repo add coq-released https://coq.inria.fr/opam/released
 RUN opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 RUN opam install -y ott zarith
 COPY . .
+RUN opam pin add -k git -y --no-action coq-mi-cho-coq https://gitlab.com/nomadic-labs/mi-cho-coq.git#dev
 RUN opam pin add -y --no-action coq-albert .
 RUN opam depext -y coq-albert
 RUN opam install -y -j ${NJOBS} --deps-only .