Specify the maven version to use

marko-bekhta · marko-bekhta · commit de4bd0be5f83 · 2025-07-14T16:25:09.000+02:00
diff --git a/ci/quarkus.Jenkinsfile b/ci/quarkus.Jenkinsfile
@@ -17,6 +17,7 @@ pipeline {
     agent none
     tools {
         jdk 'OpenJDK 17 Latest'
+        maven 'Apache Maven 3.9'
     }
     options {
         buildDiscarder(logRotator(numToKeepStr: '3', artifactNumToKeepStr: '3'))

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,7 @@ pipeline {`
`17`	`17`	`agent none`
`18`	`18`	`tools {`
`19`	`19`	`jdk 'OpenJDK 17 Latest'`
	`20`	`+ maven 'Apache Maven 3.9'`
`20`	`21`	`}`
`21`	`22`	`options {`
`22`	`23`	`buildDiscarder(logRotator(numToKeepStr: '3', artifactNumToKeepStr: '3'))`