Build #4443 (Jun 18, 2024, 1:59:34 PM)

GitHub pull request #7376 of commit a2f79c832221fbe015175492a0dd1f1166508da9, no merge conflicts.

This run spent:

• 8.9 sec waiting;
• 12 min build duration;
• 13 min total from scheduled to completion.