From 9c4bb59c2abe19b65f08678fcb35d43d7476fdd9 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Sun, 27 Sep 2020 11:28:32 +0900
Subject: Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ef06cd1..6c4b991 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -435,10 +435,10 @@ ci-fcsl-pcm-8.11:
   variables:
     COQ_VERSION: "8.11"
 
-ci-fcsl-pcm-8.10:
+ci-fcsl-pcm-8.12:
   extends: .ci-fcsl-pcm
   variables:
-    COQ_VERSION: "8.11"
+    COQ_VERSION: "8.12"
 
 ci-fcsl-pcm-dev:
   extends: .ci-fcsl-pcm
-- 
cgit v1.2.3