Build #92 (Nov 20, 2023, 4:56:43 AM)

1. ID for edge in progress after connect #392 (details / githubweb)

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

• Branch indexing

This run spent:

• 30 sec waiting;
• 4 min 3 sec build duration;
• 4 min 12 sec total from scheduled to completion.

• refs/remotes/origin/master