diff --git a/Jenkinsfile b/Jenkinsfile index 5eb465ea6..66decf06a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,10 +16,10 @@ pipeline { agent any - triggers { - // Polls Source Code Manager every 15 mins - //pollSCM('*/15 * * * *') - } + //triggers { + // //Polls Source Code Manager every 15 mins + // pollSCM('*/15 * * * *') + //} options { skipDefaultCheckout(true)