diff --git a/Jenkinsfile b/Jenkinsfile index f1cfe51ff..ea33c11de 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -97,11 +97,15 @@ pipeline { always { script { if (!env.GIT_COMMITTER_EMAIL) return - mail( - to: env.GIT_COMMITTER_EMAIL, - subject: "Pipeline: ${env.JOB_NAME} (${env.BUILD_NUMBER}): ${currentBuild.currentResult}", - body: "Check status at ${env.BUILD_URL}" - ) + try { + mail( + to: env.GIT_COMMITTER_EMAIL, + subject: "Pipeline: ${env.JOB_NAME} (${env.BUILD_NUMBER}): ${currentBuild.currentResult}", + body: "Check status at ${env.BUILD_URL}" + ) + } catch (e) { + echo e.toString() + } } } }