Started 8 mo 18 days ago
Took 1 min 53 sec on basic-5jdr0

Success Build #143 (Aug 3, 2020, 7:28:31 AM)

PR #587: Add missing issue in Releas...
No changes.

GitHub pull request #587 of commit f625b4ba3cfe1ff277f4dae7d7b788ce04f6b48e, no merge conflicts.

Module Builds

 microprofile-config_1.0_api (didn’t run)
Success MicroProfile Config API42 sec
 MicroProfile Config Build Tools (didn’t run)
Success MicroProfile Config25 sec
Success MicroProfile Config Specification16 sec
Success MicroProfile Config TCK7.9 sec
 microprofile.config.parent (didn’t run)
 microprofile-config-spec (didn’t run)
 microprofile-config-tck (didn’t run)