also build against Coq 8.7.1

aa1c2acc · Ralf Jung · 42da66bf · aa1c2acc
Commit aa1c2acc authored Dec 17, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +8 -0

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -48,8 +48,16 @@ build-coq.8.7.dev:
  except:
  - triggers

+build-coq.8.7.1:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.7.0"
+  except:
+  - triggers
+
 build-coq.8.7.0:
  <<: *template
+  stage: build_more
  variables:
    OPAM_PINS: "coq version 8.7.0"
  except: