Started 6 mo 26 days ago
Took 1 min 30 sec on master

Success Build #37 (May 22, 2019 7:37:11 AM)

PR #348: Remove ServerVariables
No changes.

GitHub pull request #348 of commit 8b1095c83b83c8227bfa547ac28c8fe3574e5c58, no merge conflicts.

Module Builds

Success MicroProfile OpenAPI API13 sec
Success MicroProfile OpenAPI3.1 sec
Success MicroProfile OpenAPI Specification19 sec
Success MicroProfile OpenAPI SPI2.4 sec
Success MicroProfile OpenAPI TCK10 sec