Build #87 (Nov 8, 2023, 7:11:13 AM)

1. lint is perfomed from the root of the project (details / githubweb)

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

• Branch indexing

This run spent:

• 24 sec waiting;
• 2 min 28 sec build duration;
• 2 min 34 sec total from scheduled to completion.

• refs/remotes/origin/master