Build #256(JDK11) (Feb 12, 2023, 9:29:53 AM)

Started by upstream project "xtext-extras/master" build number 5
originally caused by:

• Started by upstream project "xtext-core/master" build number 307
  originally caused by:
  • Started by upstream project "xtext-lib/master" build number 153
    originally caused by:
    • Started by user Christian Dietrich

This run spent:

• 8.8 sec waiting;
• 3 min 31 sec build duration;
• 3 min 40 sec total from scheduled to completion.

• master