Build #2 (Jan 23, 2024, 8:11:46 PM)

1. fix formatting (details / githubweb)

Pull request #6740 updated at 8:11:31 PM on Jan 23, 2024

This run spent:

• 1 day 8 hr waiting;
• 5 hr 42 min build duration;
• 5 hr 42 min total from scheduled to completion.

• PR-6740