Test Coq 8.12.

validsdp · Dec 17, 2020 · 96ef5e5 · 96ef5e5
1 parent f1ba8b4
commit 96ef5e5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
   - deploy
 
 variables:
-  BUILD_IMAGE: "$CI_REGISTRY_IMAGE:ci-master-2020-04-03"
+  BUILD_IMAGE: "$CI_REGISTRY_IMAGE:ci-master-2020-09-08"
   GIT_CLEAN_FLAGS: "-ffdxq"
 
 build-image:

diff --git a/misc/Dockerfile b/misc/Dockerfile
@@ -26,5 +26,5 @@ RUN opam init -y --no-setup -j1 --bare --disable-sandboxing && \
     opam switch create minimal ocaml-system && opam install -y $OPAM_PACKAGES && \
     opam switch create latest  ocaml-system && opam install -y $OPAM_PACKAGES && \
     opam install -y --switch=minimal coq.8.7.2 && \
-    opam install -y --switch=latest  coq.8.11.0 && \
+    opam install -y --switch=latest  coq.8.12.0 && \
     opam clean -a -c -r -s --logs