diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 085a10a8c..282f7d0a4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -52,4 +52,13 @@ pipeline { } } } + failure { + emailext ( + subject: "FAILED: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]'", + body: """<p>FAILED: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]':</p> + <p>Check console output at "<a href='${env.BUILD_URL}'>${env.JOB_NAME} [${env.BUILD_NUMBER}]</a>"</p>""", + recipientProviders: [[$class: 'DevelopersRecipientProvider']], + to: 'frederic.gurr@eclipse-foundation.org' + ) + } }
\ No newline at end of file |