Build #4 (Jul 2, 2024, 1:55:59 PM)

1. Fix formatting (details / githubweb)

Pull request #7110 updated at 1:55:44 PM on Jul 2, 2024

This run spent:

• 8.6 sec waiting;
• 4 hr 50 min build duration;
• 4 hr 50 min total from scheduled to completion.

• PR-7110