Started 5 mo 13 days ago
Took 4 min 55 sec on default-agent-kggkm

Success Build #280 (Apr 16, 2020 7:37:03 AM)

PR #573: Fixes #569, ensures Metrics...
No changes.

GitHub pull request #573 of commit 4fd80d76f966cc0915ae18e2ef69d923aad7b41d, no merge conflicts.

Module Builds

Success MicroProfile Metrics API1 min 5 sec
Success MicroProfile Metrics API-TCK39 sec
Success MicroProfile Metrics Optional-TCK7.9 sec
Success MicroProfile Metrics1 min 19 sec
Success MicroProfile Metrics REST-TCK42 sec
Success MicroProfile Metrics Specification35 sec