Started 2 mo 13 days ago
Took 1 min 27 sec on basic-h2l3r

Success Build #58 (Jul 8, 2020 6:42:32 AM)

PR #439: 438 - fix jenkins build error
No changes.

GitHub pull request #439 of commit 6adc1da0faa2fe56a579ad1daecf72a7fddf42d3, no merge conflicts.

Module Builds

Success MicroProfile OpenAPI API20 sec
Success MicroProfile OpenAPI10 sec
Success MicroProfile OpenAPI Specification21 sec
Success MicroProfile OpenAPI SPI2 sec
Success MicroProfile OpenAPI TCK12 sec