Build #2 (Feb 12, 2024, 9:28:49 PM)

1. Update workflow permissions (details / githubweb)

Pull request #6810 updated at 9:28:35 PM on Feb 12, 2024

This run spent:

• 7.6 sec waiting;
• 2 hr 11 min build duration;
• 2 hr 11 min total from scheduled to completion.

• PR-6810