Build #21 (Jun 1, 2022, 7:12:51 AM)

1. v0.12.0 (details / githubweb)
2. v0.12.0 (details / githubweb)

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

• Branch indexing

This run spent:

• 8.3 sec waiting;
• 2 min 49 sec build duration;
• 2 min 58 sec total from scheduled to completion.

• refs/remotes/origin/master