also test Coq 8.6

57630ac5 · Ralf Jung · 6cf0349d · 57630ac5
Commit 57630ac5 authored 7 years ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -43,6 +43,11 @@ build-coq.8.7.1:
    - build-time.txt
    - build-env.txt

+build-coq.8.6.1:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.4"
+
 build-iris.dev:
  <<: *template
  variables: