Started 11 mo ago
Took 1 min 10 sec on master

Success Build #17 (Dec 21, 2018 12:07:09 PM)

PR #320: Automatically hide MP Rest ...
No changes.

GitHub pull request #320 of commit f19cd4d03ac7bba419ecb062d1ecded380a85d9c, no merge conflicts.

Module Builds

Success MicroProfile OpenAPI API9.5 sec
Success MicroProfile OpenAPI3.2 sec
Success MicroProfile OpenAPI Specification18 sec
Success MicroProfile OpenAPI SPI2.4 sec
Success MicroProfile OpenAPI TCK9.4 sec