From 3e50d77cdc6433c4c3402a4477bf76e30c851343 Mon Sep 17 00:00:00 2001
From: milvus-ci-robot <milvus-ci-robot@zilliz.com>
Date: Mon, 28 Oct 2019 10:24:20 +0800
Subject: [PATCH] set cron timezone to Shanghai

Former-commit-id: c4f1a0513722460109d1e681b57a196faedc119d
---
 ci/jenkins/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile
index 15663183ab..7c2d83ba59 100644
--- 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 {