Started 1 mo 26 days ago
Took 2 min 7 sec on master

Success Build #195 (Oct 17, 2019 10:26:09 AM)

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

GitHub pull request #468 of commit 00923601fbd6769b9794ce286174956e590f93f0, no merge conflicts.

Module Builds

Success MicroProfile Metrics API18 sec
Success MicroProfile Metrics API-TCK27 sec
Success MicroProfile Metrics3.5 sec
Success MicroProfile Metrics REST-TCK11 sec
Success MicroProfile Metrics Specification29 sec