From ea89c0a4eaf3ae1facad8d8933f6b69ecd63e431 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 16 Dec 2016 09:55:25 +0100
Subject: [PATCH] also build against Coq 8.6
---
.gitlab-ci.yml | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a9d10061..755ea0ab 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,3 +19,20 @@ gps-coq8.5.3:
artifacts:
paths:
- coq/ra/build-time-full.txt
+
+gps-coq8.6:
+ tags:
+ - coq
+ script:
+ # prepare
+ - cd coq
+ - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect dev'
+ # build
+ - 'time make -j8'
+ cache:
+ key: "coq8.6"
+ paths:
+ - coq/opamroot/
+ only:
+ - master
+ - opam-ci
--
GitLab