Build #88 (Nov 9, 2023, 7:11:23 AM)

1. Fixes #128 (details / githubweb)

Started by upstream project sprotty » master build number 187
originally caused by:

• Branch indexing

This run spent:

• 55 sec waiting;
• 3 min 59 sec build duration;
• 4 min 8 sec total from scheduled to completion.

• refs/remotes/origin/master