diff --git a/Jenkinsfile b/Jenkinsfile index d323582572fdf5488319e1e03ba1e1222e1cb14f..b04c4b0924e0f95a50a95098a5d6f3bc09a183cd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -511,17 +511,17 @@ pipeline { sh('cd px4_msgs; git status; git add .; git commit -a -m "Update message definitions `date`" || true') sh('cd px4_msgs; git push origin master || true') // 'ros1' branch - sh('cd px4_msgs; git checkout feature/deploy_ros1_msgs') + sh('cd px4_msgs; git checkout ros1') sh('python msg/tools/uorb_to_ros_msgs.py msg/ px4_msgs/msg/') sh('cd px4_msgs; git status; git add .; git commit -a -m "Update message definitions `date`" || true') - sh('cd px4_msgs; git push origin feature/deploy_ros1_msgs || true') + sh('cd px4_msgs; git push origin ros1 || true') sh('rm -rf px4_msgs') } } when { anyOf { branch 'master' - branch 'feature/deploy_ros1_msgs' // for testing + branch 'pr-jenkins' // for testing } } }