Started 2 mo 13 days ago
Took 1 min 34 sec on basic-v4b97

Success Build #126 (Jul 14, 2020 6:53:31 PM)

PR #565: #240 config properties
No changes.

GitHub pull request #565 of commit ae7cab67492715e46e613272dcadafd91bb2c9d0, no merge conflicts.

Revision: 7b1f6efe0ad0031b376dc9558617d43ad768d209
  • refs/remotes/origin/pr/565/merge

Module Builds

 microprofile-config_1.0_api (didn’t run)
Success MicroProfile Config API31 sec
 MicroProfile Config Build Tools (didn’t run)
Success MicroProfile Config21 sec
Success MicroProfile Config Specification12 sec
Success MicroProfile Config TCK7.5 sec
 microprofile.config.parent (didn’t run)
 microprofile-config-spec (didn’t run)
 microprofile-config-tck (didn’t run)