diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6758a0c68514ad5c591c84be6201a0506eae8b60..d11b06af3da354c61764c352daeedea3e8676a52 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -57,6 +57,7 @@ build-coq.8.8.0:
   variables:
     OPAM_PINS: "coq version 8.8.0"
     OPAM_PKG: "coq-iris"
+    DOC_DIR: "coqdoc@center.mpi-sws.org:iris"
     TIMING_PROJECT: "iris"
     TIMING_CONF: "coq-8.8.0"
   tags: