Build #1 (Dec 15, 2023, 4:25:00 AM)

	Pull request #1422 opened at 4:24:44 AM on Dec 15, 2023
	This run spent: 7 min 48 sec waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: 85d8896ae4120bed9c14ec03c95d6fa5912b28ca Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1422
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Initial recording of 200 commits Latest commit: 85d8896