Disable GIT_CLONE_PATH to test if CI still works on master

MSoegtropIMC · MSoegtropIMC · commit bac6875d2bbf · 2024-12-20T18:38:59.000+01:00
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -6,7 +6,7 @@ image: buildpack-deps:stable-scm
 
 variables:
   OPAMJOBS: "2"
-  GIT_CLONE_PATH: "$CI_BUILDS_DIR/opam-coq-archive"
+  # GIT_CLONE_PATH: "$CI_BUILDS_DIR/opam-coq-archive"
 
 cache:
   paths:
