diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index af6ccd96efd85f06b213013326655a3ac0bad106..e75417adbc49d5c76cae40a2d5cdcd831ca94ca1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,7 +14,7 @@ variables:
   - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
   - ci/buildjob
   cache:
-    key: "$CI_JOB_NAME"
+    key: "$CI_JOB_NAME-gen_proofmode_WIP"
     paths:
     - opamroot/
   only: