Build #3936 (Jun 4, 2024, 6:26:38 PM)

GitHub pull request #7357 of commit 773a2df6406e7b2445e9930535367d0e8356cc51, no merge conflicts.

This run spent:

• 7.8 sec waiting;
• 7 min 51 sec build duration;
• 7 min 58 sec total from scheduled to completion.