diff --git a/Jenkinsfile b/Jenkinsfile index e20d9ac..b430b61 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,21 +1,21 @@ pipeline { agent any - // triggers { - // pollSCM('*/3 * * * *') - // } + triggers { + pollSCM('*/2 * * * *') + } stages { stage('Build doc') { steps { sh 'echo "Build doc"' } } stage('Upload doc') { steps { sh 'echo "Upload doc"' } } } }