Use the same plugin build for Java 21 and 25

uhafner · uhafner · commit 164ef0a10bd8 · 2025-12-01T17:23:09.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 def configurations = [
-  [ platform: "linux", jdk: 25 ],
-  [ platform: "linux", jdk: 21 ],
+  [ platform: "linux", jdk: "21" ],
+  [ platform: "windows", jdk: "25" ]
 ]
 
 buildPlugin(failFast: false, configurations: configurations)

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`def configurations = [`
`2`		`- [ platform: "linux", jdk: 25 ],`
`3`		`- [ platform: "linux", jdk: 21 ],`
	`2`	`+ [ platform: "linux", jdk: "21" ],`
	`3`	`+ [ platform: "windows", jdk: "25" ]`
`4`	`4`	`]`
`5`	`5`
`6`	`6`	`buildPlugin(failFast: false, configurations: configurations)`