diff --git a/.ci/community-jenkins/Jenkinsfile b/.ci/community-jenkins/Jenkinsfile index f05ae1b1a9e..e26dbb4c9c7 100644 --- a/.ci/community-jenkins/Jenkinsfile +++ b/.ci/community-jenkins/Jenkinsfile @@ -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 Open MPI PR #${CHANGE_ID}" +if (env.CHANGE_URL) { + currentBuild.description = "This is a build of Open MPI PR #${CHANGE_ID}" +} else { + currentBuild.description = "Build of ${BRANCH_NAME}" +} check_stages = prepare_check_stages() println("Initialized Pipeline")