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

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

This run spent:

• 8.9 sec waiting;
• 7 min 57 sec build duration;
• 8 min 6 sec total from scheduled to completion.