Build #84 (Oct 11, 2023, 2:28:48 AM)

1. v1.0.0 (details / githubweb)

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

• Branch indexing

This run spent:

• 32 sec waiting;
• 4 min 49 sec build duration;
• 4 min 56 sec total from scheduled to completion.

• refs/remotes/origin/master