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

	Branch indexing
	This run spent: 1 hr 7 min waiting; 1 hr 25 min build duration; 1 hr 25 min total from scheduled to completion.
	Revision: 13b3dddea6832d74db280c368f9fe6c3ed8c0911 Repository: https://github.com/eclipse-platform/eclipse.platform.git PR-473
	SCM: git https://github.com/eclipse-platform/eclipse.platform.git Commits since last build: 0 Latest commit: 13b3ddd