Build #10(JDK11) (Feb 24, 2023, 3:27:50 AM)

	Push event to branch master at 3:27:35 AM on Feb 24, 2023
	This run spent: 9.4 sec waiting; 30 min build duration; 30 min total from scheduled to completion.
	Revision: f6864b40ecb42dd336d9fe8ab95f6a749ad2a121 Repository: https://github.com/eclipse/xtext-extras.git master
	Test Result (no failures)