Build #1 (Sep 11, 2023, 8:43:12 AM)

	Push event to branch issues/1029 at 8:42:59 AM on Sep 11, 2023
	This run spent: 31 sec waiting; 3 min 51 sec build duration; 3 min 57 sec total from scheduled to completion.
	Revision: d9f28d6120e7d77f138a50d91a3910946af02bb3 Repository: https://github.com/eclipse-glsp/glsp-theia-integration.git issues/1029
	ESLint: No warnings (from 2 analyses) Quality gate: Success