Build #13 (Jan 6, 2019 1:46:48 AM)

1. Switch config to annotation system so we get the nice GUI (details / githubweb)

Push event to branch master at 1:46:42 AM on Jan 6, 2019

This run spent:

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

• master