Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 6 mo ago
Took 1 min 59 sec on basic-2jg06

#451 (Oct 3, 2022, 2:06:21 PM)

PR #748: Add RegistryType and Metric...
No changes.

GitHub pull request #748 of commit c2d2d8ed2fed4daf19279232161365814597b70b, no merge conflicts.

This run spent:

  • 19 sec waiting;
  • 1 min 59 sec build duration;
  • 2 min 19 sec total from scheduled to completion.

Module Builds

 MicroProfile Metrics API23 sec
 MicroProfile Metrics API-TCK8 sec
 MicroProfile Metrics Optional-TCK4 sec
 MicroProfile Metrics17 sec
 MicroProfile Metrics REST-TCK11 sec
 MicroProfile Metrics Specification29 sec
 MicroProfile Metrics TCK (didn’t run)