Build #15(JDK11) (Feb 27, 2023, 10:25:00 AM)

	Build Artifacts
	Push event to branch master at 10:24:49 AM on Feb 27, 2023
	This run spent: 5.5 sec waiting; 39 min build duration; 40 min total from scheduled to completion.
	Revision: 86a9789ba276b94a358633f7c7af4545a3d7cf9a Repository: https://github.com/eclipse/xtext-extras.git master
	Test Result (no failures)