diff options
| -rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 702ef5477243..2a6e270e7701 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,9 @@ pipeline { MASTER_WORKTREE = "${LOCAL_WORKTREE}-master" GIT_PULL_COMMAND = "git pull --rebase upstream master" } + triggers { + cron("H 15 * * 1-5") + } stages { stage("Pulling from upstream Git") { steps { |