Build #2 (Nov 7, 2023, 5:35:53 PM)

	Pull request #1290 updated at 5:35:06 PM on Nov 7, 2023
	This run spent: 18 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 949722642fdf3ac116bd01f6762a7beb49ee69b4 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1290
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: 9497226