Build #311(JDK11) (Feb 16, 2023, 2:13:15 PM)

	Push event to branch master at 2:13:00 PM on Feb 16, 2023
	This run spent: 9 sec waiting; 10 min build duration; 11 min total from scheduled to completion.
	Revision: bf04c1342b967c74c47eeb64be293893bfec86c4 Repository: https://github.com/eclipse/xtext-core.git master
	Test Result (no failures)