Build #3397 (Jun 3, 2024, 1:36:59 PM)

GitHub pull request #7353 of commit 43d759d6f7077cb1c597e267335d50d04bd1289e, no merge conflicts.

This run spent:

• 3 min 2 sec waiting;
• 10 min build duration;
• 10 min total from scheduled to completion.