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

#283 (Jul 13, 2023, 10:03:13 AM)

PR #785: Update format to fix build
No changes.

GitHub pull request #785 of commit a2eb47ccad82942e7e8070266540c25e21e233f8, no merge conflicts.

This run spent:

  • 10 sec waiting;
  • 1 min 19 sec build duration;
  • 1 min 30 sec total from scheduled to completion.

Module Builds

 microprofile-config_1.0_api (didn’t run)
 MicroProfile Config API14 sec
 MicroProfile Config Build Tools (didn’t run)
 MicroProfile Config11 sec
 MicroProfile Config Specification25 sec
 MicroProfile Config TCK10 sec
 microprofile.config.parent (didn’t run)
 microprofile-config-spec (didn’t run)
 microprofile-config-tck (didn’t run)