From 2615a8979322e5a462993d90d585f18ada429d75 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sat, 29 Aug 2020 00:30:12 +0200
Subject: chore: refactor GitLab CI config a bit to lighten nightly builds

* more precisely: jobs {coq-8.12, mathcomp-dev:coq-8.12} are unneeded
  in the scheduled pipeline
  https://gitlab.com/math-comp/math-comp/-/pipelines/182928354

* Insert commented jobs for upcoming coq-8.13 as well.
---
 .gitlab-ci.yml | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 945c664..6e96a28 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -98,8 +98,12 @@ 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
+  extends: .opam-build-once
+
+# to uncomment when 8.13+alpha available
+# coq-8.13:
+#   # to be replaced with .opam-build-once when 8.13.0 available
+#   extends: .opam-build
 
 coq-dev:
   extends: .opam-build
@@ -448,8 +452,12 @@ 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
+  extends: .docker-deploy-once
+
+# to uncomment when 8.13+alpha available
+# mathcomp-dev:coq-8.13:
+#   # to be replaced with .docker-deploy-once when 8.13.0 available
+#   extends: .docker-deploy
 
 mathcomp-dev:coq-dev:
   extends: .docker-deploy
-- 
cgit v1.2.3