[Jenkins]Jenkins
Started 1 yr 0 mo ago
Took 1 min 22 sec on default-agent-nthd1

Success 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
  • refs/remotes/origin/pr/548/merge

Module Builds

Success MicroProfile Metrics API9.4 sec
Success MicroProfile Metrics API-TCK7.8 sec
Success MicroProfile Metrics Optional-TCK3.6 sec
Success MicroProfile Metrics6.7 sec
Success MicroProfile Metrics REST-TCK7 sec
Success MicroProfile Metrics Specification27 sec