diff --git a/Jenkinsfile b/Jenkinsfile index d8ea81ef5..f02676d73 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,6 +27,10 @@ pipeline { // 正式环境配置好专用构建节点后,可恢复为:agent { label 'docker-java17' } agent any + tools { + maven 'maven-3.8.8' + } + options { disableConcurrentBuilds() timestamps()