From b4555aa73ff7b2f5dd700a1bcd895880e3ad16fd Mon Sep 17 00:00:00 2001
From: Maxime Pierront <contact@pierrontmaxi.me>
Date: Sun, 23 Nov 2025 12:59:57 +0100
Subject: [PATCH] Update Jenkinsfile to specify Maven 3.9 as required build
 tool.

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8c37de4..facdcb4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
     agent any
+    tools {
+        maven 'maven-3.9'
+    }
     stages {
         stage('Compilation') {
             steps {