Skip to content
[Jenkins]Jenkins
log in
Started 7 days 9 hr ago
Took 26 min
Success

Build #4432 (Jun 20, 2024, 9:04:27 PM)

PR #7388: Reapply "Change arraycmp le...
ZISVJD10

GitHub pull request #7388 of commit 6fd5de6fc4148a73ed68119c161f866a3d795160, no merge conflicts.

This run spent:

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