Build #5 (Aug 23, 2023, 9:40:36 AM)

	Pull request #1040 updated at 9:40:19 AM on Aug 23, 2023
	This run spent: 28 sec waiting; 51 min build duration; 51 min total from scheduled to completion.
	Revision: e49f0188d0aa08c6e7afa507b798eb059ebca533 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: e49f018
	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 No issues for 2 builds, i.e. since build: Success #4