diff --git a/Jenkinsfile b/Jenkinsfile index 00d5855..c49cd8c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,10 @@ node { pipeline { agent none + triggers { + pollSCM 'H/10 * * * *' + } + options { disableConcurrentBuilds() buildDiscarder(logRotator(numToKeepStr: '14'))