Build #2 (Oct 13, 2023, 3:59:44 PM)

1. run with xtext nightly multiple times (details / githubweb)

Branch indexing

This run spent:

• 2 min 48 sec waiting;
• 7 min 27 sec build duration;
• 10 min total from scheduled to completion.

• cd_investigateSearchProblem