diff --git a/Jenkinsfile b/Jenkinsfile index 626253df86..66f21ba17d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,12 @@ pipeline { stages { stage('Analysis') { - + when { + anyOf { + branch 'master' + branch 'pr-jenkins' // for testing + } + } parallel { // TODO: temporarily disabled 2020-06-03 waiting on mavlink update