Build #1821 (Mar 8, 2023, 1:35:12 PM)

GitHub pull request #6884 of commit 2a7dac7eb8fdb589902c347b235196dcb6e9916a, no merge conflicts.

This run spent:

• 8.8 sec waiting;
• 19 sec build duration;
• 28 sec total from scheduled to completion.