Build #608 (Jun 30, 2022, 2:08:50 PM)

1. Make JSON generation work with files with spaces. (commit: d33d2f4) (details / githubweb)

Started by GitHub push by thvitt

This run spent:

• 4 min 6 sec waiting;
• 1 hr 2 min build duration;
• 1 hr 7 min total from scheduled to completion.

• refs/remotes/origin/master