diff --git a/.ci/jenkins/Jenkinsfile b/.ci/jenkins/Jenkinsfile index e0a26fae1..5170030a5 100644 --- a/.ci/jenkins/Jenkinsfile +++ b/.ci/jenkins/Jenkinsfile @@ -108,7 +108,14 @@ pipeline { } unsuccessful { script { - pullrequest.postComment(util.getMarkdownTestSummary('PR', '', "${BUILD_URL}", 'GITHUB')) + def additionalInfo = '' + if (getBuildFailedImages()){ + additionalInfo += 'Build failures on those images:\n' + getBuildFailedImages().each { + additionalInfo += "- ${it}\n" + } + } + pullrequest.postComment(util.getMarkdownTestSummary('PR', additionalInfo, "${BUILD_URL}", 'GITHUB')) } } } @@ -153,6 +160,10 @@ void registerBuildFailedImage(String imageName) { } } +List getBuildFailedImages() { + return BUILD_FAILED_IMAGES +} + void initWorkspace(String image) { sh "mkdir -p ${getWorkspacePath(image)}" sh "rsync -av --progress . ${getWorkspacePath(image)} --exclude workspaces"