Build #1810 (Mar 7, 2023, 4:31:50 AM)

GitHub pull request #6919 of commit a9ece8911a1c644607f51749f60a1496c3346374, no merge conflicts.

This run spent:

• 7 sec waiting;
• 11 sec build duration;
• 18 sec total from scheduled to completion.