diff options
author | Christian Poessinger <christian@poessinger.com> | 2020-03-21 17:06:36 +0100 |
---|---|---|
committer | Christian Poessinger <christian@poessinger.com> | 2020-03-21 17:06:36 +0100 |
commit | 55367deb1f5f9cc437a7f379597aa9309f95fda9 (patch) | |
tree | 7c5eb6d05a347f50c462716b04a7527dbd5c6cd1 | |
parent | 498b32c07f88962ff252d23431e33dc2da811d49 (diff) | |
download | hvinfo-55367deb1f5f9cc437a7f379597aa9309f95fda9.tar.gz hvinfo-55367deb1f5f9cc437a7f379597aa9309f95fda9.zip |
Jenkins: T1870: support GitHub PullRequest builds
-rw-r--r-- | Jenkinsfile | 14 |
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 } } } |