Started 7 mo 24 days ago
Took 1 min 22 sec on basic-332h3

Success Build #314 (Aug 27, 2020, 1:36:31 PM)

PR #607: Fixes #606
No changes.

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

Module Builds

Success MicroProfile Metrics API13 sec
Success MicroProfile Metrics API-TCK7.6 sec
Success MicroProfile Metrics Optional-TCK2.7 sec
Success MicroProfile Metrics9.7 sec
Success MicroProfile Metrics REST-TCK8.3 sec
Success MicroProfile Metrics Specification18 sec