Merge branch 'master' into guice

jenkinsci · Jan 19, 2024 · 8189a1e · 8189a1e
2 parents 99985e2 + 5ea9971
commit 8189a1e
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1 +1,10 @@
-buildPlugin(jenkinsVersions: [null, '2.102'])
+/*
+ See the documentation for more options:
+ https://github.com/jenkins-infra/pipeline-library/
+*/
+buildPlugin(
+  useContainerAgent: true,
+  configurations: [
+    [platform: 'linux', jdk: 11], // should be bumped to 21 before Nov 2024
+    [platform: 'windows', jdk: 17],
+])