Try multiple configs, including Windows

MarkEWaite · MarkEWaite · commit 0f9203819ec3 · 2026-01-26T14:47:55.000-07:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -13,8 +13,8 @@ properties([
 ])
 
 def axes = [
-  platforms: ['linux'],
-  jdks: [21],
+  platforms: ['linux', 'windows'],
+  jdks: [21, 25],
 ]
 
 stage('Record build') {
