diff options
author | Christian Poessinger <christian@poessinger.com> | 2020-03-21 18:25:29 +0100 |
---|---|---|
committer | Christian Poessinger <christian@poessinger.com> | 2020-03-21 18:25:29 +0100 |
commit | 9957f76f3aa7726b8b2b86c3e76a763da0b8d34f (patch) | |
tree | cdc0c54c22f7512e57a50285d336510b0892c483 /Jenkinsfile | |
parent | e5231d59c636dd62d916a533fa86d865a1a1e54d (diff) | |
download | vyos-1x-9957f76f3aa7726b8b2b86c3e76a763da0b8d34f.tar.gz vyos-1x-9957f76f3aa7726b8b2b86c3e76a763da0b8d34f.zip |
Jenkins: T1870: support GitHub PullRequest builds
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index ed98477f2..7a79b0f43 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 } } } |