Started 11 mo ago
Took 1 min 20 sec on master

Success Build #13 (Dec 20, 2018 2:17:11 PM)

PR #317: Marked ServerVariables as d...
No changes.

GitHub pull request #317 of commit 7a6203cdf9370fe5f61d567790c4d654537c5b01, no merge conflicts.

Module Builds

Success MicroProfile OpenAPI API9.7 sec
Success MicroProfile OpenAPI3.1 sec
Success MicroProfile OpenAPI Specification19 sec
Success MicroProfile OpenAPI SPI2.5 sec
Success MicroProfile OpenAPI TCK9.3 sec