Reduce resource used in ci.jenkins.io

jenkinsci · Dec 9, 2024 · 28f772d · 28f772d
1 parent 8184287
commit 28f772d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@
 .project
 .settings/
 .factorypath
+/.checkstyle
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,7 @@
 #!/usr/bin/env groovy
 
-/* `buildPlugin` step provided by: https://github.com/jenkins-infra/pipeline-library */
-buildPlugin(jdkVersions: [21, 17])
+// see https://github.com/jenkins-infra/pipeline-library
+buildPlugin(useContainerAgent: true, configurations: [
+  [platform: 'linux', jdk: 21],
+  [platform: 'windows', jdk: 17],
+])