Build #472 (May 22, 2024, 4:40:22 AM)

	Changes Fix race condition in WorkbenchPluginTest #1891 (details / githubweb)
	Push event to branch master at 4:40:10 AM on May 22, 2024
	This run spent: 16 sec waiting; 59 min build duration; 59 min total from scheduled to completion.
	Revision: af7cdc332aeb4133ffe429fbab2700923f715c8b Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git master
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 1 Latest commit: af7cdc3
	Test Result (no failures)
	Reference build for delta reports eclipse.platform.ui » master #471
	Compiler and API Tools: 1,221 warnings Reference build: eclipse.platform.ui » master #471 Quality gate: Success
	Maven: One warning Reference build: eclipse.platform.ui » master #471
	JavaDoc: No warnings No issues for 12 builds, i.e. since build: #461 Reference build: eclipse.platform.ui » master #471