set BRANCH_NAME for devel job

2017-09-16 23:22:06 +02:00 · 2017-09-16 23:22:06 +02:00 · 435383e2c3
parent 2175ac9c15
commit 435383e2c3
1 changed files with 4 additions and 0 deletions
--- a/Installation/Pipeline/Jenkinsfile.groovy
+++ b/Installation/Pipeline/Jenkinsfile.groovy
@ -135,6 +135,10 @@ enterpriseRepo = 'http://c1:8088/github.com/arangodb/enterprise'
 credentials = '8d893d23-6714-4f35-a239-c847c798e080'

 // source branch for pull requests
+if (env.JOB_BASE_NAME == "arangodb-ci-devel") {
+    env.BRANCH_NAME = "devel"
+}
+
 sourceBranchLabel = env.BRANCH_NAME

 if (env.BRANCH_NAME =~ /^PR-/) {