Report coverage on ci.jenkins.io (#1396)

Coverage reported by first build and only Linux
jenkinsci · Jan 20, 2023 · 56763dd · 56763dd
1 parent 9c52fa4
commit 56763dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -11,8 +11,8 @@ buildPlugin(
   artifactCachingProxyEnabled: true,
   // Test Java 11 with a recent LTS, Java 17 even more recent
   configurations: [
-    [platform: 'linux',   jdk: '17', jenkins: '2.383'],
-    [platform: 'linux',   jdk: '11', jenkins: '2.375.1'],
-    [platform: 'windows', jdk: '11']
+    [platform: 'linux',   jdk: '11'], // Linux first for coverage report on ci.jenkins.io
+    [platform: 'linux',   jdk: '17', jenkins: '2.375.2'],
+    [platform: 'windows', jdk: '17', jenkins: '2.387']
   ]
 )