Build #3242(jdk11) (Apr 18, 2023, 10:30:40 AM)

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