Build #9 (Jul 7, 2017 6:57:04 PM)

1. Whoops, Did not mean to push this! (details / githubweb)

Push event to branch 1.12 at 6:56:57 PM on Jul 7, 2017

This run spent:

• 2 ms waiting;
• 1 min 20 sec build duration;
• 1 min 20 sec total from scheduled to completion.

• 1.12