Build #7 (Dec 8, 2023, 7:10:13 AM)

	Pull request #1389 updated at 7:10:01 AM on Dec 8, 2023
	This run spent: 18 sec waiting; 46 min build duration; 46 min total from scheduled to completion.
	Revision: cbfc743fdd159529d5895a683e48b0a3b9cd204b Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1389
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: cbfc743
	Test Result (no failures)
	Reference build for delta reports Reference build 'eclipse.platform.ui/master#135' not found anymore - maybe the build has been renamed or deleted?
	Java Compiler: 21 warnings
	Maven: 781 warnings Fixed issues: 2
	JavaDoc: 2 warnings