Build #12(JDK11) (Feb 24, 2023, 12:14:59 PM)

	Branch indexing
	This run spent: 13 min waiting; 30 min build duration; 44 min total from scheduled to completion.
	Revision: 4a440cb7874f27a7ee2f0e77730f566149e34ad1 Repository: https://github.com/eclipse/xtext-extras.git master
	Test Result (no failures)