Started 1 yr 4 mo ago
Took 1 min 8 sec on basic-6tq1d

Build #308 (Jul 28, 2020, 1:41:33 AM)

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

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

Module Builds

Success MicroProfile Metrics API8.5 sec
Success MicroProfile Metrics API-TCK5.9 sec
Success MicroProfile Metrics Optional-TCK2.6 sec
Success MicroProfile Metrics6.4 sec
Success MicroProfile Metrics REST-TCK5.3 sec
Success MicroProfile Metrics Specification18 sec