Build #3424 (Jul 3, 2024, 3:13:57 PM)

GitHub pull request #7399 of commit 6114ae1beede53bb15982b1edb0276eb081377fd, no merge conflicts.

This run spent:

• 9 sec waiting;
• 8 min 3 sec build duration;
• 8 min 12 sec total from scheduled to completion.