8000 set BRANCH_NAME for devel job · MohammedDeveloper/arangodb@435383e · GitHub
[go: up one dir, main page]
Skip to content

Commit 435383e

Browse files
fcellerfceller
committed
set BRANCH_NAME for devel job
1 parent 2175ac9 commit 435383e

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎Installation/Pipeline/Jenkinsfile.groovy

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -135,6 +135,10 @@ enterpriseRepo = 'http://c1:8088/github.com/arangodb/enterprise'
135135
credentials = '8d893d23-6714-4f35-a239-c847c798e080'
136136

137137
// source branch for pull requests
138+
if (env.JOB_BASE_NAME == "arangodb-ci-devel") {
139+
env.BRANCH_NAME = "devel"
140+
}
141+
138142
sourceBranchLabel = env.BRANCH_NAME
139143

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

0 commit comments

Comments
 (0)
0