Build #9 (Dec 13, 2023, 3:15:24 AM)

	Pull request #668 updated at 3:15:08 AM on Dec 13, 2023
	This run spent: 17 sec waiting; 32 min build duration; 32 min total from scheduled to completion.
	Revision: 39a8a86166e8d07ce4c08cf965a5543f941f3172 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-668
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: 39a8a86
	Test Result (no failures)
	Reference build for delta reports Reference build 'eclipse.platform.ui/master#143' not found anymore - maybe the build has been renamed or deleted?
	Java Compiler: 21 warnings
	Maven: 247 warnings New issues: 55
	JavaDoc: 2 warnings