Add Jenkinsfile for ci.jenkins.io

gounthar · gounthar · commit 602b6388899e · 2023-10-02T10:40:04.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,6 @@
-buildPlugin(useContainerAgent: true, configurations: [
-  [platform: 'linux', jdk: 17],
-  [platform: 'windows', jdk: 11],
-])
+buildPlugin(
+  useContainerAgent: true,
+  configurations: [
+    [platform: 'linux', jdk: 21],
+    [platform: 'windows', jdk: 17],
+])
