Build #252(JDK11) (Jan 31, 2023, 12:07:41 AM)

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

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

This run spent:

• 6.9 sec waiting;
• 11 min build duration;
• 11 min total from scheduled to completion.

• master