diff --git a/Jenkinsfile b/Jenkinsfile index 1ccb2f9f0da436fb91976ae0665b43bf7a9ea191..1f39bd52545bb2a4b7c77b456b2209bf827f0371 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -525,7 +525,7 @@ pipeline { when { anyOf { branch 'master' - branch 'feature/jenkins_deploy_px4_ros_com' // for testing + branch 'pr-jenkins' // for testing } } options {