Build #68 (Dec 13, 2023, 10:41:17 AM)

1. Allow to build Theia IDE based on local Theia sources #304 (details / githubweb)

Branch indexing

This run spent:

• 49 min waiting;
• 1 hr 2 min build duration;
• 1 hr 52 min total from scheduled to completion.

• jf/local-theia-build