Build #54 (Dec 13, 2023, 8:39:42 AM)

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

Branch indexing

This run spent:

• 21 sec waiting;
• 1 min 50 sec build duration;
• 1 min 56 sec total from scheduled to completion.

• jf/local-theia-build

Aborted by user Johannes Faltermeier