Try setting params if they aren't set

1ecf3084 · Sean Talts · 1123e512 · 1ecf3084
Commit 1ecf3084 authored 6 years ago by Sean Talts
Hide whitespace changes
Inline Side-by-side

Showing

with 2 additions and 0 deletions
+2 -0
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -70,6 +70,8 @@ pipeline {
            }
            steps {
                script {
+                    if (!params.cmdstan_pr) params.cmdstan_pr = "downstream tests"
+                    if (!params.stan_pr) params.stan_pr = "downstream tests"
                    utils.killOldBuilds()
                }
            }