Build #3959 (Jun 27, 2024, 10:28:50 AM)

GitHub pull request #7372 of commit a3143adbf5483e1631cb4a4825ce7e3597365940, no merge conflicts.

This run spent:

• 9.4 sec waiting;
• 9 min 4 sec build duration;
• 9 min 13 sec total from scheduled to completion.