Jenkins: limit metadata generation to master

2026-05-21 04:33:10 +08:00 · 2020-06-30 10:59:55 -04:00
parent 38588f0c37
commit e3eeb150b1
1 changed files with 6 additions and 1 deletions
@@ -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