diff options
| author | tgrogers <[email protected]> | 2018-04-23 16:46:34 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2018-04-23 16:46:34 -0400 |
| commit | 0149fcc2aedd6db1abe591cd02fbe004b59aedb7 (patch) | |
| tree | c67d0265bf3589152579c39a0e4074aa52a4ab84 /nightly.jenkinsfile | |
| parent | 9fa3527992cf0e3d4f88a6a0e86b371aa30e9daa (diff) | |
trying to make this only once per day
Diffstat (limited to 'nightly.jenkinsfile')
| -rw-r--r-- | nightly.jenkinsfile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/nightly.jenkinsfile b/nightly.jenkinsfile index c064202..be957f2 100644 --- a/nightly.jenkinsfile +++ b/nightly.jenkinsfile @@ -5,6 +5,11 @@ pipeline { options { disableConcurrentBuilds() + overrideIndexTriggers(true) + } + + triggers { + pollSCM('0 1 * * *') } stages { |