diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7f2dfeeeabc58eb99d5769d1a219c2755c127e7b..af60fd693e27e09cf33ee3acb81b37e5c621d5c3 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