Build #2786 (Jul 16, 2018 6:48:27 AM)

GitHub pull request #2016 of commit d667c866afb35c2816d893dcaf38398b2d39c932 automatically merged.

This run spent:

• 6.5 sec waiting in the queue;
• 19 min building on an executor;
• 19 min total from scheduled to completion.