From 6905014d6a3a20133a6d4387026e69cdeecc8d35 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Aug 2017 13:44:12 +0200
Subject: [PATCH] also run CI against 8.7 branch (will switch to release once
 that happened)

---
 .gitlab-ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 55b32250..68c02dea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,12 @@ variables:
   - master
   - /^ci/
 
+
+stdpp-coq8.7:
+  <<: *template
+  variables:
+    COQ_VERSION: "8.7.dev"
+
 stdpp-coq8.6.1:
   <<: *template
   variables:
-- 
GitLab