Started 1 mo 20 days ago
Took 1 min 20 sec on master

Success Build #193 (Oct 17, 2019 8:08:19 AM)

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

GitHub pull request #467 of commit 45e80bdf1f82644cae472d36e2d1c1a659d83215, no merge conflicts.

Module Builds

Success MicroProfile Metrics API8.2 sec
Success MicroProfile Metrics API-TCK7.4 sec
Success MicroProfile Metrics3.1 sec
Success MicroProfile Metrics REST-TCK5.8 sec
Success MicroProfile Metrics Specification30 sec