Build #4 (Oct 4, 2023, 10:59:06 AM)

	Pull request #1095 updated at 10:58:52 AM on Oct 4, 2023
	This run spent: 18 sec waiting; 8 min 7 sec build duration; 8 min 14 sec total from scheduled to completion.
	Revision: febdbeae15e555b823fefb28c446b414119a5bc5 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1095
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: febdbea