diff options
| -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 { |