Build #82 (Oct 6, 2023, 4:07:16 AM)

1. Several improvements to generator-sprotty, fixed links (details / githubweb)

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

• Branch indexing

This run spent:

• 3 min 40 sec waiting;
• 5 min 59 sec build duration;
• 6 min 8 sec total from scheduled to completion.

• refs/remotes/origin/master