try to fix CI

568d6266 · Ralf Jung · a9de1c86 · 568d6266
Commit 568d6266 authored Jan 15, 2019 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
@@ -34,7 +34,7 @@ build-coq.8.8.2:
 build-iris.dev:
  <<: *template
  variables:
-    OPAM_PINS: "coq version 8.8.2   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/#$STDPP_REV  coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
+    OPAM_PINS: "coq version 8.8.2   coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV  coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
  except:
  only:
  - triggers