Skip to content
[Jenkins]Jenkins
log in
Started 16 hr ago
Took 26 min
Success

Build #4426 (Jun 14, 2024, 8:40:55 PM)

PR #7321: Explicit header definitions...
ZISVJD10

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

This run spent:

  • 8.3 sec waiting;
  • 26 min build duration;
  • 26 min total from scheduled to completion.