diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7870eca8e4c423dbee3d6809b7f74ed2b8b3b639..7b26bb6b8256f1d5e8967d0c7f3d790ccc95f506 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,13 +36,11 @@ build-coq.8.8.dev:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.8.dev"
-    VALIDATE: "1"
 
 build-coq.8.8+beta1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.8+beta1"
-    VALIDATE: "1"
     OPAM_PKG: "coq-iris"
     OPAM_PKG_BRANCH: "gen_proofmode"
     TIMING_PROJECT: "iris"