diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9f1d5cc508fe890b7611347be466b4bfb69400f4..7870eca8e4c423dbee3d6809b7f74ed2b8b3b639 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -43,6 +43,8 @@ build-coq.8.8+beta1:
   variables:
     OPAM_PINS: "coq version 8.8+beta1"
     VALIDATE: "1"
+    OPAM_PKG: "coq-iris"
+    OPAM_PKG_BRANCH: "gen_proofmode"
     TIMING_PROJECT: "iris"
     TIMING_CONF: "coq-8.8+beta1"
   tags:
@@ -52,8 +54,6 @@ build-coq.8.7.2:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.2"
-    OPAM_PKG: "coq-iris"
-    OPAM_PKG_BRANCH: "gen_proofmode"
     TIMING_PROJECT: "iris"
     TIMING_CONF: "coq-8.7.2"
   tags: