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)',