Build #1320 (9/08/2021, 2:35:10 PM)

GitHub pull request #2523 of commit 6c34cfd04214ce3d560ecf90b39082e32b645e47, no merge conflicts.

This run spent:

• 6.1 sec waiting;
• 7 min 12 sec build duration;
• 7 min 18 sec total from scheduled to completion.