Build #86 (Nov 6, 2023, 12:41:20 PM)

1. Better developer expereience for missing views (#395) (details / githubweb)

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

• Branch indexing

This run spent:

• 30 sec waiting;
• 3 min 40 sec build duration;
• 3 min 49 sec total from scheduled to completion.

• refs/remotes/origin/master