[Jenkins]Jenkins
Started 8 mo 0 days ago
Took 1 min 28 sec on basic-9sls3

Success Build #59 (Jul 8, 2020, 9:02:37 AM)

PR #440: 438 - fix jenkins build err...
No changes.

GitHub pull request #440 of commit e4b192ac90ac45b1ccbef5f6dafcd4c565b0619c, no merge conflicts.

Module Builds

Success MicroProfile OpenAPI API17 sec
Success MicroProfile OpenAPI10 sec
Success MicroProfile OpenAPI Specification22 sec
Success MicroProfile OpenAPI SPI1.8 sec
Success MicroProfile OpenAPI TCK15 sec