Build #3 (Jan 30, 2023, 8:50:37 AM)

	Push event to branch issues/864 at 8:50:24 AM on Jan 30, 2023
	This run spent: 23 sec waiting; 4 min 21 sec build duration; 4 min 28 sec total from scheduled to completion.
	Revision: d739b0fb26ac01aef02ad9e698b4f51bb60f623c Repository: https://github.com/eclipse-glsp/glsp-server.git issues/864
	CheckStyle: No warnings (from 10 analyses) No issues for 3 builds, i.e. since build: #1 Reference build: eclipse-glsp » glsp-server » issues/864 #1 Quality gate: Success
	Test Result (no failures)
	Maven: No warnings No issues for 3 builds, i.e. since build: #1 Reference build: eclipse-glsp » glsp-server » issues/864 #1
	Java Compiler: No warnings No issues for 3 builds, i.e. since build: #1 Reference build: eclipse-glsp » glsp-server » issues/864 #1