Revert old Jenkinsfile.

jenkinsci · Jan 12, 2024 · 2fef379 · 2fef379
1 parent 1c484d0
commit 2fef379
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1 +1,5 @@
-buildPlugin(useContainerAgent: false, configurations: [[platform: 'linux', jdk: 21]])
+def configurations = [
+  [ platform: "linux", jdk: "21" ]
+]
+
+buildPlugin(failFast: false, tests: [skip: true], configurations: configurations)