Build #60 (Jul 13, 2023, 6:19:30 PM)

1. Add support for progress reporting (#47) (details / githubweb)

Push event to branch master at 6:19:13 PM on Jul 13, 2023

This run spent:

• 33 sec waiting;
• 3 min 8 sec build duration;
• 3 min 18 sec total from scheduled to completion.

• master