From a644da350c329d302150310a0995ccf1f72937e5 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Wed, 16 Dec 2020 18:11:28 +0100
Subject: fix CI for x86_64

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 283f27f6..7f992502 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,7 +22,7 @@ check-admitted:
     
 build_x86_64:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
   before_script:
     - eval `opam config env`
     - opam update
-- 
cgit