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

Coverage reported by first build and only Linux
jenkinsci · Jan 19, 2023 · 62d52ee · 62d52ee
1 parent 6622551
commit 62d52ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -11,7 +11,7 @@ buildPlugin(
   artifactCachingProxyEnabled: true,
   // Test Java 11 with minimum Jenkins version, Java 17 with a more recent version
   configurations: [
-    [platform: 'windows', jdk: '17', jenkins: '2.381'],
-    [platform: 'linux',   jdk: '11'],
+    [platform: 'linux',   jdk: '11'], // Linux first for coverage report on ci.jenkins.io
+    [platform: 'windows', jdk: '17', jenkins: '2.387'],
   ]
 )