Skip to content
[Jenkins]Jenkins
log in
Started 23 days ago
Took 9 min 17 sec
Failed

Build #4407 (Jun 3, 2024, 12:36:58 PM)

PR #7321: Explicit header definitions...
ZISVJD10

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

This run spent:

  • 9.4 sec waiting;
  • 9 min 17 sec build duration;
  • 9 min 26 sec total from scheduled to completion.