Build #4 (Jan 30, 2023, 5:48:05 PM)

	Pull request #191 closed at 5:47:52 PM on Jan 30, 2023
	This run spent: 21 sec waiting; 4 min 41 sec build duration; 4 min 46 sec total from scheduled to completion.
	Revision: 7375a9613b5f1bbc6dc0c9afd2bc7bfc6f980bce Repository: https://github.com/eclipse-glsp/glsp-server.git issues/864
	CheckStyle: No warnings (from 10 analyses) No issues for 4 builds, i.e. since build: #1 Reference build: eclipse-glsp » glsp-server » issues/864 #3 Quality gate: Success
	Test Result (no failures)
	Maven: No warnings No issues for 4 builds, i.e. since build: #1 Reference build: eclipse-glsp » glsp-server » issues/864 #3
	Java Compiler: No warnings No issues for 4 builds, i.e. since build: #1 Reference build: eclipse-glsp » glsp-server » issues/864 #3