Build #4 (Dec 15, 2023, 4:43:57 AM)

	Branch indexing
	This run spent: 18 sec waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: 27b9bd46dc460c360a032465b9e17eca9f6edd79 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-187
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 0 Latest commit: 27b9bd4