Build #1 (Aug 16, 2023, 2:20:47 PM)

	Pull request #1040 opened at 2:20:34 PM on Aug 16, 2023
	This run spent: 16 sec waiting; 1 min 58 sec build duration; 2 min 4 sec total from scheduled to completion.
	Revision: cefe1f856195a0ad0839454c2aef67fd53924973 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1040
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Initial recording of 200 commits Latest commit: cefe1f8