diff --git a/Jenkinsfile b/Jenkinsfile
index b50df6ea0..29d7f8dae 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,7 +29,7 @@ pipeline {
             }
         }
     }
-    pool {
+    post {
         success {
             mail subject: 'your project is effective'
                  body: 'your project is effective'