diff --git a/Jenkinsfile b/Jenkinsfile index bcd9882ec8b85045468c6475d4c1f07534f56a6f..bd56309dd28035c49734ac27c1aa1156e6c23ffb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -262,7 +262,7 @@ pipeline { success { emailext ( - subject: "PR-result: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]'", + subject: "PR-result: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]' SUCCESS", body: """ @@ -279,14 +279,14 @@ pipeline { @@ -300,7 +300,7 @@ pipeline { } failure { emailext ( - subject: "PR-result: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]'", + subject: "PR-result: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]' FAIL", body: """ @@ -317,14 +317,14 @@ pipeline {