diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index c162052..24f0a55 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -113,7 +113,7 @@ pipeline { post { failure { emailext([ - to: 'kraxel@gmail.com', + to: 'builds@kraxel.org', subject: "${JOB_NAME} - build #${BUILD_NUMBER} - FAILED!", body: "${BUILD_URL}\n", attachLog: true, |