Skip to content
[Jenkins]Jenkins
log in
Started 14 days ago
Took 8 min 22 sec
Failed

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

PR #7321: Explicit header definitions...
ZISVJD10

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

This run spent:

  • 7.1 sec waiting;
  • 8 min 22 sec build duration;
  • 8 min 29 sec total from scheduled to completion.