From 2b4e709b7c80e0c35734a7b9eb834cc9d133d8d6 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 7 Jun 2020 21:18:09 +0200
Subject: [CI/CD] Deploy mathcomp/mathcomp-dev:coq-8.12 (with Coq 8.12+alpha)

---
 .gitlab-ci.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7c0c563..945c664 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -97,6 +97,10 @@ coq-8.10:
 coq-8.11:
   extends: .opam-build-once
 
+coq-8.12:
+  # to be replaced with .opam-build-once when 8.12.0 available
+  extends: .opam-build
+
 coq-dev:
   extends: .opam-build
 
@@ -233,6 +237,11 @@ ci-lemma-overloading-8.11:
   variables:
     COQ_VERSION: "8.11"
 
+ci-lemma-overloading-8.12:
+  extends: .ci-lemma-overloading
+  variables:
+    COQ_VERSION: "8.12"
+
 ci-lemma-overloading-dev:
   extends: .ci-lemma-overloading
   variables:
@@ -438,5 +447,9 @@ mathcomp-dev:coq-8.10:
 mathcomp-dev:coq-8.11:
   extends: .docker-deploy-once
 
+mathcomp-dev:coq-8.12:
+  # to be replaced with .docker-deploy-once when 8.12.0 available
+  extends: .docker-deploy
+
 mathcomp-dev:coq-dev:
   extends: .docker-deploy
-- 
cgit v1.2.3