Build #24 (Dec 21, 2022, 10:37:33 AM)

1. Switch to peerDependencies (#92) (details / githubweb)

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

• Branch indexing

This run spent:

• 7.1 sec waiting;
• 2 min 41 sec build duration;
• 2 min 48 sec total from scheduled to completion.

• refs/remotes/origin/master