Build #2 (Oct 4, 2023, 12:15:46 PM)

	Pull request #1151 updated at 12:15:34 PM on Oct 4, 2023
	This run spent: 12 sec waiting; 8 min 23 sec build duration; 8 min 28 sec total from scheduled to completion.
	Revision: 65b6ac8a74b858a536665c51a35b4fb08219b3f9 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1151
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: 65b6ac8