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