Merge branch 'shared-runners' into 'master'

gitlab-ci: use GIT_CLONE_PATH to clone in a fixed directory and thus be able...

See merge request !29

.gitlab-ci.yml

@@ -6,7 +6,7 @@ stages:
 
 default:
   image: registry.gitlab.inria.fr/solverstack/docker/base
-  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
 
 before_script:
@@ -37,6 +37,7 @@ hqr_build_linux:
   stage: build
   extends: .only-master-mr
   variables:
+    GIT_CLONE_PATH: $CI_BUILDS_DIR/$CI_PROJECT_NAMESPACE/$CI_PROJECT_NAME
     SYSTEM: linux
   script:
     - bash .gitlab/build.sh | tee hqr-build-linux.log
@@ -88,6 +89,7 @@ hqr_test_linux:
   extends: .only-master-mr
   needs: [hqr_build_linux]
   variables:
+    GIT_CLONE_PATH: $CI_BUILDS_DIR/$CI_PROJECT_NAMESPACE/$CI_PROJECT_NAME
     SYSTEM: linux
   script:
     - bash .gitlab/test.sh | tee hqr-test-linux.log
@@ -163,6 +165,7 @@ sonarqube:
       allow_failure: true
   needs: [hqr_build_linux,hqr_test_linux]
   variables:
+    GIT_CLONE_PATH: $CI_BUILDS_DIR/$CI_PROJECT_NAMESPACE/$CI_PROJECT_NAME
     GIT_DEPTH: "0"
   script:
     - ./.gitlab/analysis.sh