Started 3 yr 4 mo ago
Took 9 min 28 sec on built-in

Build #1172 (2/11/2020, 7:34:10 PM)

GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)
No changes.

GitHub pull request #2413 of commit 16ad20d374fe2a97306f74b80b7d08d5b7473c0a, no merge conflicts.

This run spent:

  • 5.9 sec waiting;
  • 9 min 28 sec build duration;
  • 9 min 34 sec total from scheduled to completion.

Configurations

default