Started 5 mo 1 day ago
Took 1 min 25 sec on default-agent-h0mgb

Success Build #211 (Feb 13, 2020 4:16:44 AM)

PR #536: Add MetricRegistry.getType()
No changes. Changes in dependency
  1. MicroProfile Metrics  ? → (detail)

GitHub pull request #536 of commit e1821129e62398515629ef262e7c9cb0fa1225b6, no merge conflicts.

Module Builds

Success MicroProfile Metrics API15 sec
Success MicroProfile Metrics API-TCK6.4 sec
Success MicroProfile Metrics Optional-TCK2.5 sec
Success MicroProfile Metrics9.1 sec
Success MicroProfile Metrics REST-TCK7.7 sec
Success MicroProfile Metrics Specification21 sec