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

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

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