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 +++++++++++++
 coq-mathcomp-ssreflect.opam |  2 +-
 2 files changed, 14 insertions(+), 1 deletion(-)

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
diff --git a/coq-mathcomp-ssreflect.opam b/coq-mathcomp-ssreflect.opam
index d29b111..7b7be4c 100644
--- a/coq-mathcomp-ssreflect.opam
+++ b/coq-mathcomp-ssreflect.opam
@@ -9,7 +9,7 @@ license: "CeCILL-B"
 
 build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ]
 install: [ make "-C" "mathcomp/ssreflect" "install" ]
-depends: [ "coq" { ((>= "8.7" & < "8.12~") | (= "dev"))} ]
+depends: [ "coq" { ((>= "8.7" & < "8.13~") | (= "dev"))} ]
 
 tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" "logpath:mathcomp.ssreflect" ]
 authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ]
-- 
cgit v1.2.3