Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Resolve "Wolf license"
198-wolf-license into devel
Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
Viewing commit 1e68b4ff
Prev Next
Show latest version
1 file
+ 1
− 3
Compare changes
  • Side-by-side
  • Inline
.gitlab-ci.yml
+ 1
− 3
@@ -77,8 +77,6 @@ license_header:
@@ -77,8 +77,6 @@ license_header:
#- chmod 644 ~/.ssh/known_hosts
#- chmod 644 ~/.ssh/known_hosts
script:
script:
- git clone ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf.git
- git checkout -b ci_processing || git checkout ci_processing
- echo "$CI_EMAIL"
- echo "$CI_EMAIL"
- echo "$CI_USERNAME"
- echo "$CI_USERNAME"
- git config --global user.email "${CI_EMAIL}"
- git config --global user.email "${CI_EMAIL}"
@@ -93,7 +91,7 @@ license_header:
@@ -93,7 +91,7 @@ license_header:
- echo "$CI_COMMIT_REF_NAME"
- echo "$CI_COMMIT_REF_NAME"
# push changes
# push changes
# always return true so that the build does not fail if there are no changes
# always return true so that the build does not fail if there are no changes
- git push origin ci_processing:${CI_COMMIT_REF_NAME}
- git push origin HEAD:${CI_COMMIT_REF_NAME}
build_and_test:xenial:
build_and_test:xenial:
stage: build_and_test
stage: build_and_test