diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 39e074c325fae1e95a3a51a0cd7b9d16cad7f2cc..43ffe2770ff6213eb0d5222b8fad52c71d4c6cbd 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -89,7 +89,6 @@ build-iris.dev:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.9.0   coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#yourname/feature"
-    TIMING_CONF: "coq-8.9.0"
   tags:
   - fp-timing
 ```