diff --git a/Jenkinsfile b/Jenkinsfile index aabcee6..ce89d8b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,6 +3,7 @@ pipeline { tools { jdk 'jdk25' + maven 'maven-3.9' } stages {