![[Jenkins]](/microprofile/static/bb3877dc/images/jenkins-header-logo-v2.svg){kind=logo}
Started 4 mo 17 days ago
Took 1 min 22 sec
on default-agent-nthd1
Build #251
(Mar 26, 2020 6:06:31 AM)
PR #548: MetricRegistry Key based Lo...
 | No changes. |
 | GitHub pull request #548 of commit 4d22b255fc9494e9b818f5941a76ffbe9fe21a19, no merge conflicts. |
 | Revision: 147f46ba120ecc2fb80381501997660a286fc035
|
Module Builds
 MicroProfile Metrics API | 9.4 sec |
| MicroProfile Metrics API-TCK | 7.8 sec |
| MicroProfile Metrics Optional-TCK | 3.6 sec |
| MicroProfile Metrics | 6.7 sec |
| MicroProfile Metrics REST-TCK | 7 sec |
| MicroProfile Metrics Specification | 27 sec |