Build #23 (Dec 2, 2022, 5:23:43 AM)

1. Ensure buildtime compatibility with Theia Community Release (#91) (details / githubweb)
2. Update README.md (details / githubweb)

Started by upstream project sprotty-theia » master build number 34
originally caused by:

• Branch indexing

This run spent:

• 5.2 sec waiting;
• 2 min 41 sec build duration;
• 2 min 46 sec total from scheduled to completion.

• refs/remotes/origin/master