summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2020-08-13 19:08:07 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2020-08-13 19:08:07 +0200
commite05fc92d1279cc747fd939f43b27e767755101f6 (patch)
tree7c2274021dafe7ed7999d856320be52fd7eee9cb /tools
parent5cdc8072bebeb4a0c8c49802ca24373adab2a758 (diff)
downloadocaml-e05fc92d1279cc747fd939f43b27e767755101f6.tar.gz
Notify only on regressions for Inria CI's Risc-V job
Diffstat (limited to 'tools')
-rw-r--r--tools/ci/inria/Risc-V/Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/inria/Risc-V/Jenkinsfile b/tools/ci/inria/Risc-V/Jenkinsfile
index 3cbf9e2884..4221adc373 100644
--- a/tools/ci/inria/Risc-V/Jenkinsfile
+++ b/tools/ci/inria/Risc-V/Jenkinsfile
@@ -26,7 +26,7 @@ pipeline {
}
}
post {
- always {
+ regression {
emailext (
to: 'ocaml-ci-notifications@inria.fr',
subject: 'Job $JOB_NAME $BUILD_STATUS (build #$BUILD_NUMBER)',