Build #2 (Sep 20, 2023, 3:46:44 AM)

	Changes GLSP-1071: Rename ServerStatus/ServerMessage action (details / githubweb)
	Pull request #178 closed at 3:46:28 AM on Sep 20, 2023
	This run spent: 5 min 52 sec waiting; 9 min 33 sec build duration; 9 min 42 sec total from scheduled to completion.
	Revision: 8a10ed47b8b8f955215e6db9c3e38ac54a49d880 Repository: https://github.com/eclipse-glsp/glsp-theia-integration.git glsp-1116
	ESLint: No warnings (from 2 analyses) Quality gate: Success