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

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

1. fix formatting (details / githubweb)