Started 1 yr 4 mo ago
Took 1 min 23 sec on basic-0rm1n

Build #301 (Jul 22, 2020, 8:01:32 PM)

PR #598: Remove existing MetricRegis...
No changes.

GitHub pull request #598 of commit 39a0b768490bbb443c2d30eb53d9f26494db1c61, no merge conflicts.

Module Builds

Success MicroProfile Metrics API11 sec
Success MicroProfile Metrics API-TCK7.1 sec
Success MicroProfile Metrics Optional-TCK2.6 sec
Success MicroProfile Metrics11 sec
Success MicroProfile Metrics REST-TCK11 sec
Success MicroProfile Metrics Specification17 sec