Use int version for Jenkinsfile JDK, not string

Closer to the archetype
MarkEWaite · Aug 26, 2023 · 93715b5 · 93715b5
1 parent 7a8ab6c
commit 93715b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -10,7 +10,7 @@ buildPlugin(
   failFast: false,
   // Test Java 17 and 21
   configurations: [
-    [platform: 'linux',   jdk: '21'], // Linux first for coverage report on ci.jenkins.io
-    [platform: 'windows', jdk: '17'],
+    [platform: 'linux',   jdk: 21], // Linux first for coverage report on ci.jenkins.io
+    [platform: 'windows', jdk: 17],
   ]
 )