update the .Jenkinsfile

fastnlp · Nov 6, 2020 · 8505617 · 8505617
1 parent c707cd4
commit 8505617
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.Jenkinsfile b/.Jenkinsfile
@@ -36,10 +36,13 @@ pipeline {
         }
     }
     post {
-        always {
-            sh 'post'
+        failure {
+            sh 'post 1'
+        }
+        success {
+            sh 'post 0'
+            sh 'post github'
         }
-
     }
 
 }