From 27a35117c3318c52ab099149d29b6f00ad37b295 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Tue, 18 Mar 2025 11:52:20 +0100
Subject: [PATCH] gitlab-ci: use a custom fixed build directory to be able to
 use any runner (among shared runners)

---
 .gitlab/common.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab/common.yml b/.gitlab/common.yml
index f248ea0c..7feb9c05 100644
--- a/.gitlab/common.yml
+++ b/.gitlab/common.yml
@@ -4,10 +4,11 @@
 ---
 default:
   image: $CI_REGISTRY_IMAGE
-  tags: ['ci.inria.fr', 'linux', 'small'] # gitlab instance runner (i.e. docker on linux)
+  tags: ['ci.inria.fr', 'linux'] # gitlab instance runner (i.e. docker on linux)
   interruptible: true
 
 variables:
+  GIT_CLONE_PATH: $CI_BUILDS_DIR/$CI_PROJECT_NAMESPACE/$CI_PROJECT_NAME
   GIT_SUBMODULE_STRATEGY: recursive
 
 # push event: executed only if the source branch is the default one on
-- 
GitLab