Build #309 (Jun 28, 2024, 5:29:31 PM)

1. fix ProgressReportingTest (details / githubweb)

Started by upstream project xtext » main build number 1266
originally caused by:

• Push event to branch main at 2:50:33 PM on Jun 28, 2024

This run spent:

• 23 sec waiting;
• 1 min 26 sec build duration;
• 1 min 33 sec total from scheduled to completion.

• origin/main