diff --git a/Jenkinsfile b/Jenkinsfile index 500791146..7a0d8dc8c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,7 @@ pipeline { timeout(time: 30, unit: 'MINUTES') } triggers { - pollSCM(* * * * * ) + pollSCM('* * * * *') } tools { jdk 'JAVA_8'