Update Jenkinsfile to specify Maven 3.9 as required build tool.

2025-11-23 12:59:57 +01:00
parent 33b24c62d4
commit b4555aa73f
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@@ -1,5 +1,8 @@
 pipeline {
    agent any
+    tools {
+        maven 'maven-3.9'
+    }
    stages {
        stage('Compilation') {
            steps {