Merge branch 'release_branch' of github.com:victormylle/WorldCraft_Discord_Bot into release_branch

2020-11-17 01:19:34 +01:00
parent 34edebbb7e d0058572e0
commit d69d9501d8
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@@ -10,9 +10,12 @@ pipeline {

    stage('Publish') {
      steps {
-        sh './publish.sh'
+        sh "./publish.sh ${env.BUILD_ID}"
      }
    }

  }
+  triggers {
+    pollSCM('H/2 * * * *')
+  }
 }