Merge branch 'master' into fix/ignore-refs-not-pointing-commits

ajnavarro · web-flow · commit 353def2bebdd · 2019-04-05T15:25:55.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -26,6 +26,12 @@ pipeline {
         sh '/bin/regression --complexity=2 --csv local:HEAD'
       }
     }
+    stage('PR-run') {
+      when { changeRequest target: 'master' }
+      steps {
+        sh '/bin/regression --complexity=0 remote:master local:HEAD'
+      }
+    }
     stage('Plot') {
       when { branch 'master' }
       steps {

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,12 @@ pipeline {`
`26`	`26`	`sh '/bin/regression --complexity=2 --csv local:HEAD'`
`27`	`27`	`}`
`28`	`28`	`}`
	`29`	`+ stage('PR-run') {`
	`30`	`+ when { changeRequest target: 'master' }`
	`31`	`+ steps {`
	`32`	`+ sh '/bin/regression --complexity=0 remote:master local:HEAD'`
	`33`	`+ }`
	`34`	`+ }`
`29`	`35`	`stage('Plot') {`
`30`	`36`	`when { branch 'master' }`
`31`	`37`	`steps {`