diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c9dd1e6356d1417efb3ce11f3cd16e7a9155e2ec..44fa266c63a9748ad75cb4d6af3c19564fae7a01 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -39,7 +39,6 @@ build-coq.8.9.0:
     OPAM_PINS: "coq version 8.9.0"
     OPAM_PKG: "coq-iris"
     DOC_DIR: "coqdoc@center.mpi-sws.org:iris"
-    TIMING_PROJECT: "iris"
     TIMING_CONF: "coq-8.9.0"
   tags:
   - fp-timing