Update Jenkinsfile

TimSVector · web-flow · commit f99906ff0177 · 2025-08-21T16:24:22.000-04:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,2 +1,2 @@
 // file: Jenkinsfile
-buildPlugin()
+buildPlugin(platforms: ['linux','windows'], jdkVersions: [21])

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`// file: Jenkinsfile`
`2`		`-buildPlugin()`
	`2`	`+buildPlugin(platforms: ['linux','windows'], jdkVersions: [21])`