[Jenkins]Jenkins
Started 1 yr 8 mo ago
Took 1 min 20 sec on basic-v7dvw

Build #313 (Aug 27, 2020, 9:26:32 AM)

PR #607: Fixes #606
No changes.

GitHub pull request #607 of commit c270fd941fc4487b660f36924112a651b3e91e5a, no merge conflicts.

Module Builds

Success MicroProfile Metrics API12 sec
Success MicroProfile Metrics API-TCK7.1 sec
Success MicroProfile Metrics Optional-TCK2.7 sec
Success MicroProfile Metrics9.4 sec
Success MicroProfile Metrics REST-TCK8.2 sec
Success MicroProfile Metrics Specification18 sec