Build #2 (Jul 17, 2023, 10:13:00 AM)

	Push event to branch fix-javadoc at 10:12:46 AM on Jul 17, 2023
	This run spent: 19 sec waiting; 3 min 6 sec build duration; 3 min 12 sec total from scheduled to completion.
	Revision: ef6a9bdc068f05e4085a3d33818b742a32e28be4 Repository: https://github.com/eclipse-glsp/glsp-server.git fix-javadoc
	CheckStyle: No warnings (from 10 analyses) No issues for 2 builds, i.e. since build: #1 Reference build: fix-javadoc #1 Quality gate: Success
	Test Result (no failures)
	Maven: 54 warnings Reference build: fix-javadoc #1
	Java Compiler: No warnings No issues for 2 builds, i.e. since build: #1 Reference build: fix-javadoc #1