From 71cc786ea5889c745e336e0d69c8d086fc7a1231 Mon Sep 17 00:00:00 2001
From: Maxime Pierront <contact@pierrontmaxi.me>
Date: Sun, 23 Nov 2025 00:48:59 +0100
Subject: [PATCH] Add Jenkinsfile for CI/CD pipeline setup, including build,
 test, package, and deployment stages.

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

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 {