Gitlab CI: change GIT_CLONE_PATH to avoid that the root folder is nam…

…ed 'opam'
coq · Dec 20, 2024 · d531224 · d531224
1 parent 01587b4
commit d531224
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: