Build #4 (Jun 25, 2023, 12:11:21 PM)

	Pull request #851 updated at 12:11:10 PM on Jun 25, 2023
	This run spent: 16 sec waiting; 26 min build duration; 26 min total from scheduled to completion.
	Revision: eb89e983d6d2fbb7abaad74fdadf649b872da4d1 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-851
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: eb89e98
	Test Result (no failures)
	Reference build for delta reports Reference build 'eclipse.platform.ui/master#439' not found anymore - maybe the build has been renamed or deleted?
	Java Compiler: 47 warnings
	Maven: 1,835 warnings New issues: 26
	JavaDoc: 82 warnings Fixed issues: 1 New issues: 1