set cron timezone to Shanghai

Former-commit-id: b1f05d796dce95cae1b19c5729ccd4d8da8219c1
2019-10-28 10:19:07 +08:00 · 2019-10-28 10:19:07 +08:00 · b852170b92
parent a0c938bc01
commit b852170b92
1 changed files with 5 additions and 1 deletions
--- a/ci/jenkins/Jenkinsfile
+++ b/ci/jenkins/Jenkinsfile
@ -1,10 +1,14 @@
+String cron_timezone = "TZ=Asia/Shanghai"
 String cron_string = BRANCH_NAME == "master" ? "H 0 * * *" : ""
 cron_string =  BRANCH_NAME == "0.5.1" ? "H 1 * * *" : cron_string

 pipeline {
    agent none

-    triggers { cron(cron_string) }
+    triggers {
+        cron("${cron_timezone}
+            ${cron_string}")
+    }

    options {
        timestamps()