From e83ce9dcea07aa3d070bfe7268776987be00c95d Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Mon, 13 Sep 2021 15:57:52 +0200
Subject: bump ocaml version

---
 .gitlab-ci.yml | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 983d3a5f..d727fa6b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,7 +3,7 @@ stages:
 
 check-admitted:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - eval `opam config env`
     - opam update
@@ -24,7 +24,7 @@ check-admitted:
     
 build_x86_64:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - eval `opam config env`
     - opam update
@@ -48,7 +48,7 @@ build_x86_64:
 
 build_ia32:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-multilib
@@ -74,7 +74,7 @@ build_ia32:
 
 build_aarch64:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-aarch64-linux-gnu qemu-user
@@ -100,7 +100,7 @@ build_aarch64:
 
 build_arm:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-arm-linux-gnueabi libc6-dev-armel-cross qemu-user
@@ -127,7 +127,7 @@ build_arm:
 
 build_armhf:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-arm-linux-gnueabihf libc6-dev-armhf-cross qemu-user
@@ -153,7 +153,7 @@ build_armhf:
 
 build_ppc:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-powerpc-linux-gnu wget ninja-build libglib2.0-dev libpixman-1-dev
@@ -183,7 +183,7 @@ build_ppc:
 
 build_ppc64:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-powerpc64-linux-gnu
@@ -208,7 +208,7 @@ build_ppc64:
 
 build_rv64:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
@@ -234,7 +234,7 @@ build_rv64:
 
 build_rv32:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install gcc-riscv64-linux-gnu qemu-user
@@ -257,7 +257,7 @@ build_rv32:
 
 build_kvx:
   stage: build
-  image: coqorg/coq:8.12.2-ocaml-4.11.1-flambda
+  image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda
   before_script:
     - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update
     - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace
-- 
cgit