Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 10 mo ago
Took 1 min 28 sec on basic-9sls3

#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

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