diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 464c5c7535c99436341b49e43f7507b099769ba5..5aec521a8529f3ace3f8af7c2db342f0af27ce2f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,4 +1,3 @@ - stages: - build - test @@ -6,6 +5,7 @@ stages: build: stage: build script: + - ssh -vvv git@gitlab.inria.fr - git submodule init - git submodule update - mkdir build