diff --git a/jenkinsfile b/jenkinsfile index b059a2662..ebf10e08e 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { label 'JAVA-11' } - triggers { pollSCM('* * * * *') } + triggers { pollSCM( '* * * * *' ) } stages { stage('clone') { steps {