Build #3873 (Mar 21, 2024, 10:41:43 AM)

GitHub pull request #7287 of commit 1ab7445b9cac79f29bfe3d2895bdd2d0b7a9a4bc, no merge conflicts.

This run spent:

• 10 sec waiting;
• 9 min 18 sec build duration;
• 9 min 28 sec total from scheduled to completion.