CI: also use ssreflect dev

064167cf · Ralf Jung · 6faf4c1e · 064167cf
Commit 064167cf authored Jan 23, 2018 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
@@ -44,6 +44,6 @@ build-coq.8.6.1:
 build-iris.dev:
  <<: *template
  variables:
-    OPAM_PINS: "coq version dev   coq-mathcomp-ssreflect version 1.6.4   coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
+    OPAM_PINS: "coq version dev   coq-mathcomp-ssreflect version dev   coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
  only:
  - triggers