Build #15 (Oct 22, 2021, 6:52:01 AM)

1. v0.10.0 (details / githubweb)

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

• Branch indexing

This run spent:

• 30 sec waiting;
• 1 min 45 sec build duration;
• 1 min 55 sec total from scheduled to completion.

• refs/remotes/origin/master