ci: Modify Jenkinsfile (#10)

teamcors · Oct 11, 2023 · 9e0d85e · 9e0d85e
1 parent 634d035
commit 9e0d85e
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') {