diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile index 7c2d83ba59..67bff5ac1e 100644 --- a/ci/jenkins/Jenkinsfile +++ b/ci/jenkins/Jenkinsfile @@ -1,13 +1,13 @@ 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 +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_timezone}" - "${cron_string}"''') + cron """${cron_timezone} + ${cron_string}""" } options {