Build #3394 (Jun 2, 2024, 9:50:54 PM)

GitHub pull request #7356 of commit ec76a50ab47b3e78f2735f2aa34264aa60c84270, no merge conflicts.

This run spent:

• 7.2 sec waiting;
• 8 min 53 sec build duration;
• 9 min 0 sec total from scheduled to completion.