Build #395 (May 17, 2024, 12:56:33 PM)

1. Make CodanRunner progress monitor work a bit better (#768) (details / githubweb)

Push event to branch main at 12:56:18 PM on May 17, 2024

This run spent:

• 22 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.

• main