summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Poessinger <christian@poessinger.com>2020-03-21 17:33:38 +0100
committerChristian Poessinger <christian@poessinger.com>2020-03-21 17:33:38 +0100
commitcdfaa7b198c1c502b82e11ea071c8e4f50419fae (patch)
tree5cf8b9a5607158ca1e70d16d8d720011782cce02
parentd7411378065043bdff7f0963d7bc878653aaf2ac (diff)
downloadmdns-repeater-cdfaa7b198c1c502b82e11ea071c8e4f50419fae.tar.gz
mdns-repeater-cdfaa7b198c1c502b82e11ea071c8e4f50419fae.zip
Jenkins: T1870: support GitHub PullRequest builds
-rw-r--r--Jenkinsfile14
1 files changed, 9 insertions, 5 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index ed98477..7a79b0f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,7 +36,7 @@ def isCustomBuild() {
def gitURI = 'git@github.com:vyos/' + getGitRepoName()
def httpURI = 'https://github.com/vyos/' + getGitRepoName()
- return ! ((getGitRepoURL() == gitURI) || (getGitRepoURL() == httpURI))
+ return !((getGitRepoURL() == gitURI) || (getGitRepoURL() == httpURI)) || env.CHANGE_ID
}
def setDescription() {
@@ -74,7 +74,13 @@ node('Docker') {
script {
// create container name on demand
def branchName = getGitBranchName()
- if (branchName == "master") {
+ // Adjust PR target branch name so we can re-map it to the proper
+ // Docker image. CHANGE_ID is set only for pull requests, so it is
+ // safe to access the pullRequest global variable
+ if (env.CHANGE_ID) {
+ branchName = "${env.CHANGE_TARGET}".toLowerCase()
+ }
+ if (branchName.equals("master")) {
branchName = "current"
}
env.DOCKER_IMAGE = "vyos/vyos-build:" + branchName
@@ -92,7 +98,6 @@ pipeline {
}
options {
disableConcurrentBuilds()
- skipDefaultCheckout()
timeout(time: 30, unit: 'MINUTES')
timestamps()
}
@@ -101,8 +106,7 @@ pipeline {
steps {
script {
dir('build') {
- git branch: getGitBranchName(),
- url: getGitRepoURL()
+ checkout scm
}
}
}