Build #1 (Sep 11, 2023, 7:21:55 AM)

	Pull request #1091 opened at 7:21:40 AM on Sep 11, 2023
	This run spent: 19 sec waiting; 5 min 58 sec build duration; 6 min 6 sec total from scheduled to completion.
	Revision: 671e241e079fbb644144747bed44565e785643d0 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1091
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Initial recording of 200 commits Latest commit: 671e241