Build #317(JDK11) (Feb 24, 2023, 11:40:35 AM)

	Push event to branch master at 11:40:21 AM on Feb 24, 2023
	This run spent: 8.8 sec waiting; 15 min build duration; 15 min total from scheduled to completion.
	Revision: b0e131ea2d1c8c50ed217a54535b478dafa2b979 Repository: https://github.com/eclipse/xtext-core.git master
	Test Result (no failures)