commit eff0a7475ba69cb475c0a28cfb247d0189f1f426
author Richard Eckart de Castilho <rec@apache.org> Thu May 12 16:03:50 2022 +0200
committer Richard Eckart de Castilho <rec@apache.org> Thu May 12 16:03:50 2022 +0200
tree bfb0e755f15b79a26b94bb01a14e0ab727530fea
parent 9420b0694777ec5431e9321a2fafe179d0ca1a09

[UIMA-6451] Jenkins builds should run against multiple platforms

- Try giving IDs to the reports as well

vars/defaultPipeline.groovy

diff --git a/vars/defaultPipeline.groovy b/vars/defaultPipeline.groovy
index ab774bc..b47e999 100644
--- a/vars/defaultPipeline.groovy
+++ b/vars/defaultPipeline.groovy
@@ -147,9 +147,9 @@
                 }
                 
                 script {
-                  def mavenConsoleIssues = scanForIssues tool: mavenConsole()
-                  def javaIssues = scanForIssues tool: java()
-                  def javaDocIssues = scanForIssues tool: javaDoc()
+                  def mavenConsoleIssues = scanForIssues tool: mavenConsole("maven-${PLATFORM}")
+                  def javaIssues = scanForIssues tool: java("java-${PLATFORM}")
+                  def javaDocIssues = scanForIssues tool: javaDoc("javaDoc-${PLATFORM}")
                   def analysisId = "analysis-${PLATFORM}"
                   echo "analysisId: ${analysisId}"
                   publishIssues id: analysisId, issues: [mavenConsoleIssues, javaIssues, javaDocIssues]