Skip to content
[Jenkins]Jenkins
log in
Started 3 days 6 hr ago
Took 7 min 12 sec
Success

Build #3947 (Jun 12, 2024, 12:42:07 PM)

PR #7321: Explicit header definitions...
ub20-x64-omr6

GitHub pull request #7321 of commit 9790452d430bddccdc9cdd9cfd6acdff3dcdba84, no merge conflicts.

This run spent:

  • 7.2 sec waiting;
  • 7 min 12 sec build duration;
  • 7 min 19 sec total from scheduled to completion.