Build #2 (Dec 20, 2023, 5:13:30 PM)

1. formatting (details / githubweb)

Pull request #6684 updated at 5:13:17 PM on Dec 20, 2023

This run spent:

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

• PR-6684