From 8f75516d0f458a9d1aa8db5456e47468668a7e68 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 19 Feb 2020 09:16:57 +0100
Subject: [PATCH] CI: test Coq 8.11.dev on pushes, and master nightly
---
.gitlab-ci.yml | 16 +++++++++++++---
1 file changed, 13 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ca7bc50f5..7f278c25f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,11 +27,11 @@ variables:
## Build jobs
-build-coq.dev:
+build-coq.8.11.dev:
<<: *template
variables:
- OPAM_PINS: "coq version dev"
-# CI_COQCHK: "1"
+ OPAM_PINS: "coq version 8.11.dev"
+ CI_COQCHK: "1"
build-coq.8.11.0:
<<: *template
@@ -57,3 +57,13 @@ build-coq.8.8.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2"
+
+build-stdpp.dev:
+ <<: *template
+ variables:
+ OPAM_PINS: "coq version dev coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
+ except:
+ only:
+ - triggers
+ - schedules
+ - api
--
GitLab