From 594098defab7954ded9876c25b6d5d2c41ff29c2 Mon Sep 17 00:00:00 2001
From: Bruno Verachten <gounthar@users.noreply.github.com>
Date: Thu, 4 Sep 2025 13:08:43 +0200
Subject: [PATCH] Add Jenkinsfile to build plugin on the Jenkins Infrastructure

---
 Jenkinsfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 00000000..4bac524c
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,12 @@
+/*
+See the documentation for more options:
+https://github.com/jenkins-infra/pipeline-library/
+*/
+buildPlugin(
+    forkCount: '1C', // Run a JVM per core in tests
+    useContainerAgent: true, // Set to `false` if you need to use Docker for containerized tests
+    configurations: [
+        [platform: 'linux', jdk: 25],
+        [platform: 'windows', jdk: 21]
+    ]
+)
\ No newline at end of file