diff options
| author | Oleg Pykhalov <go.wigust@gmail.com> | 2020-03-29 16:41:15 +0300 |
|---|---|---|
| committer | Oleg Pykhalov <go.wigust@gmail.com> | 2020-05-01 15:58:09 +0300 |
| commit | 8acbce3d81decbc8a48103e2cf3d7dd3553486c9 (patch) | |
| tree | d4534c14b2a7f3d71fd23a29eb2d40833cec58e1 | |
| parent | Add DevelREPL (diff) | |
| download | nixpkgs-github/wip-local.tar.gz | |
Jenkinsfile: Add cron trigger.github/wip-local
| -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 { |