Build #83 (Oct 6, 2023, 9:21:12 AM)

1. Remove SModelExtension interface (#389) (details / githubweb)

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

• Branch indexing

This run spent:

• 23 sec waiting;
• 2 min 21 sec build duration;
• 2 min 29 sec total from scheduled to completion.

• refs/remotes/origin/master