Started 4 mo 13 days ago
Took 7 min 53 sec on default-agent-crmt7

Success Build #260 (Mar 30, 2020 7:11:35 AM)

PR #562: Fix flaky MpMetricOptionalTest
No changes.

GitHub pull request #562 of commit 82c0c02b15b9c9bc67febeb0316a5c4649f71aa9, no merge conflicts.

Module Builds

Success MicroProfile Metrics API5 min 25 sec
Success MicroProfile Metrics API-TCK18 sec
Success MicroProfile Metrics Optional-TCK4.7 sec
Success MicroProfile Metrics28 sec
Success MicroProfile Metrics REST-TCK20 sec
Success MicroProfile Metrics Specification46 sec