Skip to content
[Jenkins]Jenkins
log in
Started 9 mo 19 days ago
Took 1 min 17 sec on basic-dh1pk

#284 (Jul 13, 2023, 10:53:27 AM)

PR #786: fix the issue 543
No changes.

GitHub pull request #786 of commit 24953950ea804ca23243ef2008ff18af6273818e, no merge conflicts.

This run spent:

  • 24 sec waiting;
  • 1 min 17 sec build duration;
  • 1 min 42 sec total from scheduled to completion.

Module Builds

 microprofile-config_1.0_api (didn’t run)
 MicroProfile Config API13 sec
 MicroProfile Config Build Tools (didn’t run)
 MicroProfile Config9.6 sec
 MicroProfile Config Specification27 sec
 MicroProfile Config TCK9.4 sec
 microprofile.config.parent (didn’t run)
 microprofile-config-spec (didn’t run)
 microprofile-config-tck (didn’t run)