Build #3894 (Apr 10, 2024, 10:01:22 PM)

GitHub pull request #7308 of commit 8f8f4e1d15295657eb26e178d1c99dc2d57d4804, no merge conflicts.

This run spent:

• 9.8 sec waiting;
• 6 min 40 sec build duration;
• 6 min 50 sec total from scheduled to completion.