Build #93 (Nov 21, 2023, 3:40:54 AM)

1. Updated example projects (details / githubweb)

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

• Branch indexing

This run spent:

• 31 sec waiting;
• 4 min 1 sec build duration;
• 4 min 11 sec total from scheduled to completion.

• refs/remotes/origin/master