Skip to content
[Jenkins]Jenkins
log in
Started 23 days ago
Took 25 min
Success

Build #4412 (Jun 4, 2024, 10:48:55 AM)

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

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

This run spent:

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