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

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