Build #3 (May 9, 2020, 7:13:07 AM)

Pull request #2494 updated at 7:13:00 AM on May 9, 2020

This run spent:

• 53 sec waiting;
• 1 min 21 sec build duration;
• 1 min 21 sec total from scheduled to completion.

• master