Build #4 (Aug 23, 2023, 8:19:10 AM)

	Pull request #1040 updated at 8:18:55 AM on Aug 23, 2023
	This run spent: 21 sec waiting; 50 min build duration; 50 min total from scheduled to completion.
	Revision: b72d6d9e65a39bc100c62a06cd4c4fbd8d893b7e Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1040
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: b72d6d9
	Test Result (no failures)
	Reference build for delta reports Reference build 'eclipse.platform.ui/master#518' not found anymore - maybe the build has been renamed or deleted?
	Java Compiler: 47 warnings
	Maven: 878 warnings Fixed issues: 1214
	JavaDoc: No warnings