commit | 2584942e84caa6ef5cba31de832f0adab75f71c9 | [log] [tgz] |
---|---|---|
author | Richard Eckart de Castilho <rec@apache.org> | Thu May 12 15:02:53 2022 +0200 |
committer | GitHub <noreply@github.com> | Thu May 12 15:02:53 2022 +0200 |
tree | 45d7c85e338838a66010ac3b360b4d2f86bdeafc | |
parent | e0f47b3fc39ad91b18006c75df17489e3386cdd3 [diff] | |
parent | 930374c5983772ff1718a4a3fd2c43988940a4fa [diff] |
Merge pull request #4 from apache/UIMA-6451-Jenkins-builds-should-run-against-multiple-platforms [UIMA-6451] Jenkins builds should run against multiple platforms