commit | 089457e2ebe034bbe5cd5171ad535069ead83b54 | [log] [tgz] |
---|---|---|
author | Richard Eckart de Castilho <rec@apache.org> | Mon Jan 25 16:55:26 2021 +0100 |
committer | GitHub <noreply@github.com> | Mon Jan 25 16:55:26 2021 +0100 |
tree | 9a8f810614843ee33e314e445af5547ae68a3dc0 | |
parent | 65e2a9eec394604c34f6e91f43177047f67b51ef [diff] | |
parent | 8746b45170ca362a5121594a78853b8824ae5e35 [diff] |
Merge pull request #142 from apache/UIMA-6307-Centralize-Jenkins-pipelines [UIMA-6307] Centralize Jenkins pipelines