From da084770317a1b84d431416f618d052361726dd8 Mon Sep 17 00:00:00 2001
From: Bruno Verachten <gounthar@users.noreply.github.com>
Date: Wed, 3 Sep 2025 11:10:22 +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..7cd8a9e
--- /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: 11],
+        [platform: 'windows', jdk: 8]
+    ]
+)
\ No newline at end of file