Build #1388 (21/06/2021, 2:20:07 PM)

GitHub pull request #2495 of commit 1f15cf0d647832c5a32014bc30c6411a47269c6e, no merge conflicts.

This run spent:

• 7.1 sec waiting;
• 34 min build duration;
• 34 min total from scheduled to completion.