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

Build #4396 (May 22, 2024, 11:47:29 PM)

PR #7322: Flag changes and minor fixe...
ZISVJD10

GitHub pull request #7322 of commit 0fa80a49d5ab9142c7c8a33923f893f776d3592c, no merge conflicts.

This run spent:

  • 8.9 sec waiting;
  • 16 min build duration;
  • 16 min total from scheduled to completion.