Build #195 (Dec 8, 2023, 2:53:14 AM)

1. Smaller improvements in sprotty-protocol (details / githubweb)

Branch indexing

This run spent:

• 19 sec waiting;
• 2 min 52 sec build duration;
• 2 min 57 sec total from scheduled to completion.

• master