diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile index 0a16c7f2c3a367300627fa33fd45d5ac0419924f..15663183abe5ee35235005aac942cea5c2c81360 100644 --- 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()