Build #4 (Aug 16, 2023, 12:36:20 PM)

	Branch indexing
	This run spent: 27 min waiting; 1 hr 23 min build duration; 1 hr 23 min total from scheduled to completion.
	Revision: d6fa22e0f164a7f0669ad35fcc530c1b51f54331 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-133
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 0 Latest commit: d6fa22e