From 3b0c55c885a34ff7b4a4f461d548afe9277b76ad Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 8 Jun 2020 16:47:10 +0200
Subject: More CI

- fourcolor 8.11 and 8.12
- odd-order 8.11 and 8.12
- bigenough 8.11 and 8.12
- finmap    8.11 and 8.12
---
 .gitlab-ci.yml | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 945c664..ef06cd1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -173,6 +173,16 @@ ci-fourcolor-8.10:
   variables:
     COQ_VERSION: "8.10"
 
+ci-fourcolor-8.11:
+  extends: .ci-fourcolor
+  variables:
+    COQ_VERSION: "8.11"
+
+ci-fourcolor-8.12:
+  extends: .ci-fourcolor
+  variables:
+    COQ_VERSION: "8.12"
+
 ci-fourcolor-dev:
   extends: .ci-fourcolor
   variables:
@@ -212,6 +222,16 @@ ci-odd-order-8.10:
   variables:
     COQ_VERSION: "8.10"
 
+ci-odd-order-8.11:
+  extends: .ci-odd-order
+  variables:
+    COQ_VERSION: "8.11"
+
+ci-odd-order-8.12:
+  extends: .ci-odd-order
+  variables:
+    COQ_VERSION: "8.12"
+
 ci-odd-order-dev:
   extends: .ci-odd-order
   variables:
@@ -277,6 +297,16 @@ ci-bigenough-8.10:
   variables:
     COQ_VERSION: "8.10"
 
+ci-bigenough-8.11:
+  extends: .ci-bigenough
+  variables:
+    COQ_VERSION: "8.11"
+
+ci-bigenough-8.12:
+  extends: .ci-bigenough
+  variables:
+    COQ_VERSION: "8.12"
+
 ci-bigenough-dev:
   extends: .ci-bigenough
   variables:
@@ -370,6 +400,16 @@ ci-finmap-8.10:
   variables:
     COQ_VERSION: "8.10"
 
+ci-finmap-8.11:
+  extends: .ci-finmap
+  variables:
+    COQ_VERSION: "8.11"
+
+ci-finmap-8.12:
+  extends: .ci-finmap
+  variables:
+    COQ_VERSION: "8.12"
+
 ci-finmap-dev:
   extends: .ci-finmap
   variables:
@@ -390,6 +430,16 @@ ci-fcsl-pcm-8.10:
   variables:
     COQ_VERSION: "8.10"
 
+ci-fcsl-pcm-8.11:
+  extends: .ci-fcsl-pcm
+  variables:
+    COQ_VERSION: "8.11"
+
+ci-fcsl-pcm-8.10:
+  extends: .ci-fcsl-pcm
+  variables:
+    COQ_VERSION: "8.11"
+
 ci-fcsl-pcm-dev:
   extends: .ci-fcsl-pcm
   variables:
-- 
cgit v1.2.3


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