Started 5 days 19 hr ago
Took 4 min 22 sec
on Windows
PR #3192: DirectMenuPatch
No changes. | |
GitHub pull request #3192 of commit 2aac562d352a4292b00cdd8cdac7055161650717, no merge conflicts. | |
This run spent:
| |
Aborted by user anonymous |