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

Build #1167 (30/10/2020, 12:55:11 PM)

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

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

This run spent:

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

Configurations

default