Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 2 days ago
Took 9 min 2 sec
Failed

Build #4397 (May 22, 2024, 11:48:20 PM)

PR #7321: Explicit header definitions...
ZISVJD09

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

This run spent:

  • 7.5 sec waiting;
  • 9 min 2 sec build duration;
  • 9 min 9 sec total from scheduled to completion.