ci: comment PRs with the build status (#17971) (#18053)

elastic · Apr 28, 2020 · 57a56d4 · 57a56d4
1 parent ec0d29e
commit 57a56d4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -580,6 +580,11 @@ pipeline {
       }
     }
   }
+  post {
+    cleanup {
+      notifyBuildResult(prComment: true)
+    }
+  }
 }
 
 def makeTarget(String context, String target, boolean clean = true) {