From e9d4153676c2ec2782065442cb0836f67135426b Mon Sep 17 00:00:00 2001
From: Bruno Verachten <gounthar@users.noreply.github.com>
Date: Thu, 4 Sep 2025 09:04:47 +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 0000000..6e1f964
--- /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: 21],
+        [platform: 'windows', jdk: 17]
+    ]
+)
\ No newline at end of file