Started 1 mo 19 days ago
Took 2 min 8 sec on master

Success Build #196 (Oct 17, 2019 10:31:08 AM)

PR #469: Update base_metrics.xml to ...
No changes.

GitHub pull request #469 of commit 2bc5e37ac001f7dc9cd92ab6e7079403dca97800, no merge conflicts.

Module Builds

Success MicroProfile Metrics API18 sec
Success MicroProfile Metrics API-TCK32 sec
Success MicroProfile Metrics3.4 sec
Success MicroProfile Metrics REST-TCK10 sec
Success MicroProfile Metrics Specification28 sec