diff --git a/Jenkinsfile b/Jenkinsfile index 10edbdbdc..7e870780a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { } tools { jdk 'jdk_1.7_latest' - maven 'maven_3_latest' + maven 'maven_3_8_7' } triggers { pollSCM 'H/15 * * * *'