Build #1189 (5/12/2020, 4:40:09 PM)

GitHub pull request #2428 of commit 43411fd3f2adf0347da9f8a96b466fe59a3682d5, no merge conflicts.

This run spent:

• 6.3 sec waiting;
• 1 min 48 sec build duration;
• 1 min 55 sec total from scheduled to completion.

Aborted by user Alan Garny