Build #2 (May 11, 2020 6:15:01 AM)

1. Update to 1.15.2 (details / githubweb)

Push event to branch 1.15 at 6:14:55 AM on May 11, 2020

This run spent:

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

• 1.15