Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 10 mo ago
Took 4 min 15 sec on basic-n37fd
Success

#396 (Aug 9, 2022, 11:01:23 AM)

PR #710: Update Required metrics doc...
No changes.

GitHub pull request #710 of commit 60e17fcf7316f4ce1d8a2075461d1af08b3df5dc, no merge conflicts.

This run spent:

  • 19 sec waiting;
  • 4 min 15 sec build duration;
  • 4 min 35 sec total from scheduled to completion.

Module Builds

 MicroProfile Metrics API14 sec
 MicroProfile Metrics API-TCK6 sec
 MicroProfile Metrics Optional-TCK28 sec
 MicroProfile Metrics10 sec
 MicroProfile Metrics REST-TCK17 sec
 MicroProfile Metrics Specification29 sec
 MicroProfile Metrics TCK (didn’t run)