Build #2 (Sep 20, 2023, 2:48:57 AM)

	Pull request #1135 updated at 2:48:42 AM on Sep 20, 2023
	This run spent: 19 sec waiting; 7 min 27 sec build duration; 7 min 36 sec total from scheduled to completion.
	Revision: ea4b769950a57097cb627736541368ea05b966aa Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1135
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: ea4b769