Build #4439 (Jun 29, 2024, 9:02:41 PM)

GitHub pull request #7397 of commit 0c6cc066ea19748264b9f23bf642bd7aa0fd1580, no merge conflicts.

This run spent:

• 6.3 sec waiting;
• 27 min build duration;
• 27 min total from scheduled to completion.