Build #74 (Dec 14, 2023, 9:05:05 AM)

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

Branch indexing

This run spent:

• 25 sec waiting;
• 3 min 13 sec build duration;
• 3 min 23 sec total from scheduled to completion.

• jf/local-theia-build

Aborted by user Johannes Faltermeier