Skip to content

Commit

Permalink
Merge pull request #12961 from bwbarrett/backports/v5.0.x/ci-fixes
Browse files Browse the repository at this point in the history
ci: Fix build of branch commits
  • Loading branch information
janjust authored Dec 10, 2024
2 parents 6fd18e5 + 4e40776 commit 05edb2b
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion .ci/community-jenkins/Jenkinsfile
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,11 @@ milestone(buildNumber)
// back to the PR. The "Details" link at the bottom of the GitHub PR page brings
// you to the Jenkins Build page, so we're adding the link back to the GitHub PR
// page.
currentBuild.description = "This is a build of <a href=\"${CHANGE_URL}\"}\">Open MPI PR #${CHANGE_ID}</a>"
if (env.CHANGE_URL) {
currentBuild.description = "This is a build of <a href=\"${CHANGE_URL}\"}\">Open MPI PR #${CHANGE_ID}</a>"
} else {
currentBuild.description = "Build of ${BRANCH_NAME}"
}

check_stages = prepare_check_stages()
println("Initialized Pipeline")
Expand Down

0 comments on commit 05edb2b

Please sign in to comment.