diff --git a/Jenkinsfile b/Jenkinsfile
index 5761f41b0f8..d33cfd5278b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -593,6 +593,11 @@ pipeline {
       }
     }
   }
+  post {
+    cleanup {
+      notifyBuildResult(prComment: true)
+    }
+  }
 }
 
 def makeTarget(String context, String target, boolean clean = true) {