Build #12 (Sep 20, 2021, 4:07:19 AM)

1. Transpile to ES2017 (details / githubweb)
2. Upgrade Sprotty and Theia dependencies (details / githubweb)

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

• Branch indexing

This run spent:

• 24 sec waiting;
• 1 min 42 sec build duration;
• 1 min 50 sec total from scheduled to completion.

• refs/remotes/origin/master