Build #1 (May 10, 2023, 5:10:11 AM)

Pull request #1265 opened at 5:09:53 AM on May 10, 2023

This run spent:

• 7.1 sec waiting;
• 0.47 sec build duration;
• 7.6 sec total from scheduled to completion.