Started 6 mo 0 days ago
Took 2 min 30 sec on default-agent-2xz8d

Success Build #255 (Mar 30, 2020 1:46:42 AM)

PR #560: Proposal for global tags re...
No changes.

GitHub pull request #560 of commit 08f96241d875e7bcc717bf45fc274781bfbeece5, no merge conflicts.

Module Builds

Success MicroProfile Metrics API26 sec
Success MicroProfile Metrics API-TCK13 sec
Success MicroProfile Metrics Optional-TCK4.4 sec
Success MicroProfile Metrics22 sec
Success MicroProfile Metrics REST-TCK15 sec
Success MicroProfile Metrics Specification41 sec