ci: Modify Jenkinsfile (#10)

teamcors · Oct 11, 2023 · a1cb2d9 · a1cb2d9
1 parent eab84d8
commit a1cb2d9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ci/nusuy/Jenkinsfile b/ci/nusuy/Jenkinsfile
@@ -1,9 +1,9 @@
 pipeline {
     agent any
 
-    triggers {
-        githubPush()
-    }
+    // triggers {
+    //     githubPush()
+    // }
 
     stages {
         stage('Ready') {