diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b458a4908..f0187a416 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,6 +6,7 @@ image: buildpack-deps:stable-scm
 
 variables:
   OPAMJOBS: "2"
+  GIT_CLONE_PATH: "$CI_BUILDS_DIR/opam-coq-archive"
 
 cache:
   paths: