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

- Try giving IDs to the reports as well
1 file changed
tree: bfb0e755f15b79a26b94bb01a14e0ab727530fea
  1. vars/
  2. .gitignore
  3. pom.xml