Build #1 (Sep 11, 2023, 3:16:58 AM)

	Push event to branch glsp-1064-bugfixes at 3:16:46 AM on Sep 11, 2023
	This run spent: 32 sec waiting; 9 min 44 sec build duration; 9 min 49 sec total from scheduled to completion.
	Revision: f4e4d7c2aa891bc372bab96ffdffa2c76585709d Repository: https://github.com/eclipse-glsp/glsp-theia-integration.git glsp-1064-bugfixes
	ESLint: No warnings (from 2 analyses) Quality gate: Success