diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ee50fa706cb1e0a1049f8bdf2410b17731ee52da..27cb4f05bd277424b16395f6cd089b7f2bb9c378 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -25,9 +25,11 @@ - echo "directory wolf exists" - cd wolf - git pull + - git checkout $WOLF_CORE_BRANCH - else - git clone ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf.git - cd wolf + - git checkout $WOLF_CORE_BRANCH - fi - mkdir -pv build - cd build