diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f332ebc89fcfa4e89d422cc0bce2fc5a72f37a1e..b7374e0ef775dfa9bdb8c3f434a18660b57de0e1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -49,6 +49,6 @@ build-coq.8.6.1:
 build-iris.dev:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.2   coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
+    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.2   coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
   only:
   - triggers