Build #312(JDK11) (Feb 16, 2023, 2:24:31 PM)

	Push event to branch master at 2:19:49 PM on Feb 16, 2023 Push event to branch master at 2:20:07 PM on Feb 16, 2023
	This run spent: 4 min 35 sec waiting; 11 min build duration; 15 min total from scheduled to completion.
	Revision: 5bbdcd1836e33aa238b85c4c0d740f8369073692 Repository: https://github.com/eclipse/xtext-core.git master
	Test Result (no failures)