From d5ac333d1ee1b4f3a8d38dc0238c661dcc4a89f7 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Tue, 30 Jul 2019 12:55:06 +0200
Subject: [ci] Add jobs {ci-fourcolor-8.9, ci-odd-order-8.9}

* Add {fourcolor, odd-order} test builds with latest Coq release (8.9)

* As a result, the math-comp CI config w.r.t. {fourcolor, odd-order}
  will be similar to that of the upstream repos:
  - https://github.com/math-comp/fourcolor/blob/master/.travis.yml
  - https://github.com/math-comp/odd-order/pull/16
---
 .gitlab-ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 81c7b7e..f66232e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -143,6 +143,11 @@ ci-fourcolor-8.8:
   variables:
     COQ_VERSION: "8.8"
 
+ci-fourcolor-8.9:
+  extends: .ci-fourcolor
+  variables:
+    COQ_VERSION: "8.9"
+
 ci-fourcolor-dev:
   extends: .ci-fourcolor
   variables:
@@ -168,6 +173,11 @@ ci-odd-order-8.8:
   variables:
     COQ_VERSION: "8.8"
 
+ci-odd-order-8.9:
+  extends: .ci-odd-order
+  variables:
+    COQ_VERSION: "8.9"
+
 ci-odd-order-dev:
   extends: .ci-odd-order
   variables:
-- 
cgit v1.2.3