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 {