actually build against Coq 8.7.1

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

Showing with 1 addition and 1 deletion

.gitlab-ci.yml .gitlab-ci.yml +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -51,7 +51,7 @@ build-coq.8.7.dev:
 build-coq.8.7.1:
  <<: *template
  variables:
-    OPAM_PINS: "coq version 8.7.0"
+    OPAM_PINS: "coq version 8.7.1"
  except:
  - triggers