Started 1 mo 23 days ago
Took 2 min 4 sec on master

Success Build #192 (Oct 17, 2019 8:06:12 AM)

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

GitHub pull request #468 of commit 7309ba247fa8d2c752b5c2acd5b8cd767590ec26, no merge conflicts.

Module Builds

Success MicroProfile Metrics API22 sec
Success MicroProfile Metrics API-TCK30 sec
Success MicroProfile Metrics3.5 sec
Success MicroProfile Metrics REST-TCK11 sec
Success MicroProfile Metrics Specification30 sec