Build #13(JDK11) (Feb 24, 2023, 4:49:20 PM)

	Build Artifacts
	Push event to branch master at 4:49:07 PM on Feb 24, 2023
	This run spent: 8 sec waiting; 22 min build duration; 23 min total from scheduled to completion.
	Revision: d2a7d2eb614003a184a9d4ad794a75f77d6c6a66 Repository: https://github.com/eclipse/xtext-extras.git master
	Test Result (no failures)