Build #3243(jdk11) (Apr 18, 2023, 10:50:49 AM)

	Build Artifacts
	Started by GitHub push by cdietrich (14 times)
	This run spent: 20 min waiting; 1 min 16 sec build duration; 21 min total from scheduled to completion.
	Revision: e7e467063c8bf1bc2d0fab8f8785e6a8916ed4fb Repository: https://github.com/eclipse/xtext-umbrella.git master