Build #315(JDK11) (Feb 20, 2023, 11:09:37 AM)

	Push event to branch master at 11:09:25 AM on Feb 20, 2023
	This run spent: 5.6 sec waiting; 10 min build duration; 11 min total from scheduled to completion.
	Revision: 728f2a35a6c657cb3ebf86b37f4911702f0b31d4 Repository: https://github.com/eclipse/xtext-core.git master
	Test Result (no failures)