Skip to content
Snippets Groups Projects

Devel

Merged Joan Vallvé Navarro requested to merge devel into main
3 files
+ 16
7
Compare changes
  • Side-by-side
  • Inline
Files
3
+ 12
5
workflow:
rules:
- if: '$CI_PIPELINE_SOURCE == "web"'
- if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS && $CI_PIPELINE_SOURCE == "push"
when: never
- if: '$CI_PIPELINE_SOURCE == "merge_request_event"'
- if: '$CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS'
when: never
- if: '$CI_COMMIT_BRANCH'
stages:
- license
- build_and_test
@@ -10,7 +20,6 @@ stages:
- echo $WOLF_IMU_BRANCH
- echo $WOLF_ROS_NODE_BRANCH
- echo $CI_COMMIT_BRANCH
- echo $WOLF_ROS_IMU_BRANCH
.preliminaries_template: &preliminaries_definition
## Install ssh-agent if not already installed, it is required by Docker.
@@ -79,8 +88,7 @@ stages:
- if [ -d wolf ]; then
- echo "directory wolf exists"
- cd wolf
- git checkout devel
- git pull
- git fetch --all
- git checkout $WOLF_CORE_BRANCH
- git pull
- else
@@ -98,8 +106,7 @@ stages:
- if [ -d imu ]; then
- echo "directory imu exists"
- cd imu
- git checkout devel
- git pull
- git fetch --all
- git checkout $WOLF_IMU_BRANCH
- git pull
- else
Loading