Build #318(JDK11) (Feb 24, 2023, 12:01:48 PM)

	Push event to branch master at 12:01:37 PM on Feb 24, 2023
	This run spent: 6.2 sec waiting; 17 min build duration; 18 min total from scheduled to completion.
	Revision: 00f5cdf60b01d2122217089cd6b6aebe18f07bf4 Repository: https://github.com/eclipse/xtext-core.git master
	Test Result (no failures)