Skip to content
[Jenkins]Jenkins
log in
Started 5 days 10 hr ago
Took 4 min 22 sec on Windows
Aborted

#5725 (May 13, 2024, 6:12:59 PM)

PR #3192: DirectMenuPatch
No changes.

GitHub pull request #3192 of commit 2aac562d352a4292b00cdd8cdac7055161650717, no merge conflicts.

This run spent:

  • 4 ms waiting;
  • 4 min 22 sec build duration;
  • 4 min 22 sec total from scheduled to completion.

Aborted by user anonymous