set cron timezone to Shanghai

Former-commit-id: c4f1a0513722460109d1e681b57a196faedc119d
2019-10-28 10:24:20 +08:00 · 2019-10-28 10:24:20 +08:00 · 3e50d77cdc
parent b852170b92
commit 3e50d77cdc
1 changed files with 2 additions and 2 deletions
--- a/ci/jenkins/Jenkinsfile
+++ b/ci/jenkins/Jenkinsfile
@ -6,8 +6,8 @@ pipeline {
    agent none

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

    options {