Skip to content
[Jenkins]Jenkins
log in
Started 22 days ago
Took 27 min
Success

Build #4416 (Jun 7, 2024, 2:34:06 PM)

PR #7313: Change arraycmp length chil...
ZISVJD10

GitHub pull request #7313 of commit 9589a576ef6a5c030a137ebe549296eb41c439a8, no merge conflicts.

This run spent:

  • 6.1 sec waiting;
  • 27 min build duration;
  • 27 min total from scheduled to completion.