From d9a3ad413f9567c418cf7809a110fac5fcd36f6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= Date: Fri, 14 Aug 2020 17:01:58 +0200 Subject: [PATCH] Notify only on regressions for Inria CI's other-configs job --- tools/ci/inria/other-configs/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci/inria/other-configs/Jenkinsfile b/tools/ci/inria/other-configs/Jenkinsfile index bacf7d836..75b8f6009 100644 --- a/tools/ci/inria/other-configs/Jenkinsfile +++ b/tools/ci/inria/other-configs/Jenkinsfile @@ -27,7 +27,7 @@ pipeline { } } post { - always { + regression { emailext ( to: 'ocaml-ci-notifications@inria.fr', subject: 'Job $JOB_NAME $BUILD_STATUS (build #$BUILD_NUMBER)',