Started 1 mo 21 days ago
Took 1 min 18 sec on master

Success Build #197 (Oct 17, 2019 10:33:20 AM)

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

GitHub pull request #467 of commit 07b33a59b20b64e90e74b078f4350ea2a3bd7a6c, no merge conflicts.

Module Builds

Success MicroProfile Metrics API8.4 sec
Success MicroProfile Metrics API-TCK7.2 sec
Success MicroProfile Metrics3.5 sec
Success MicroProfile Metrics REST-TCK4.7 sec
Success MicroProfile Metrics Specification30 sec