Build #254(JDK11) (Feb 7, 2023, 4:57:37 PM)

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

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

This run spent:

• 7.9 sec waiting;
• 8 min 8 sec build duration;
• 8 min 16 sec total from scheduled to completion.

• master