Build #105 (Aug 22, 2018 10:08:27 PM)

GitHub pull request #10 of commit b4ff37e90d38c606403d679f959fb621ed171e2a automatically merged.

This run spent:

• 9.2 sec waiting in the queue;
• 4 hr 55 min building on an executor;
• 4 hr 55 min total from scheduled to completion.

• origin/pr/10/merge