Build #4 (Aug 16, 2023, 1:03:20 PM)

	Pull request #1020 updated at 1:02:07 PM on Aug 16, 2023
	This run spent: 32 min waiting; 57 min build duration; 57 min total from scheduled to completion.
	Revision: 8b2fd5910f47630bf581ed7adca50e50589bd188 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1020
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: 8b2fd59