Build #1 (May 13, 2023, 7:20:35 AM)

	Started by user Tobias Ortmayr
	This run spent: 11 sec waiting; 4 min 36 sec build duration; 4 min 36 sec total from scheduled to completion.
	Revision: feaedf41f141834c9e86c7c8a158d8e4716a1d75 Repository: https://github.com/eclipse-glsp/glsp-theia-integration refs/remotes/origin/master
	ESLint: No warnings (from 2 analyses) Quality gate: Success