Build #2 (Oct 15, 2023, 10:36:48 AM)

	Pull request #184 closed at 10:36:35 AM on Oct 15, 2023
	This run spent: 19 sec waiting; 3 min 38 sec build duration; 3 min 45 sec total from scheduled to completion.
	Revision: 67ab89bedcaaeefa89289c3a07fc911a0e83314b Repository: https://github.com/eclipse-glsp/glsp-theia-integration.git v2.0.0
	ESLint: No warnings (from 2 analyses) Quality gate: Success