Build #2 (Sep 15, 2023, 6:50:28 AM)

	Pull request #212 closed at 6:50:16 AM on Sep 15, 2023
	This run spent: 7 min 17 sec waiting; 9 min 41 sec build duration; 9 min 46 sec total from scheduled to completion.
	Revision: f749ab63a25b0c5396deccc66a7cbedc1304abe9 Repository: https://github.com/eclipse-glsp/glsp-server.git fix-doc
	CheckStyle: No warnings (from 10 analyses) No issues for 2 builds, i.e. since build: Success #1 Reference build: eclipse-glsp » glsp-server » fix-doc #1 Quality gate: Success
	Test Result (no failures)
	Maven: 6 warnings Reference build: eclipse-glsp » glsp-server » fix-doc #1
	Java Compiler: No warnings No issues for 2 builds, i.e. since build: Success #1 Reference build: eclipse-glsp » glsp-server » fix-doc #1