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

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

PR #7388: Reapply "Change arraycmp le...
eclipseomr-2

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

This run spent:

  • 5.1 sec waiting;
  • 14 min build duration;
  • 14 min total from scheduled to completion.
Test Result (no failures)