Started 3 yr 4 mo ago
Took 14 min on built-in

Build #1169 (2/11/2020, 10:08:09 AM)

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

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

This run spent:

  • 5.7 sec waiting;
  • 14 min build duration;
  • 14 min total from scheduled to completion.

Configurations

default