Started 3 yr 3 mo ago
Took 11 min on built-in

Build #1190 (5/12/2020, 4:42:08 PM)

Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427)
No changes.

GitHub pull request #2428 of commit 334ad0e69e5f11c5b62a34eb7fbd7b383d31844a, no merge conflicts.

This run spent:

  • 5.5 sec waiting;
  • 11 min build duration;
  • 11 min total from scheduled to completion.

Configurations

default