Build #137 (Apr 25, 2024, 7:49:18 AM)

1. Fix no-JSON and Windows builds (#1200) (details / githubweb)

Push event to branch develop at 7:49:03 AM on Apr 25, 2024

This run spent:

• 10 sec waiting;
• 6 min 59 sec build duration;
• 7 min 8 sec total from scheduled to completion.

• develop