Build #4 (Jan 22, 2024, 6:41:47 AM)

	Pull request #1460 updated at 6:41:35 AM on Jan 22, 2024
	This run spent: 14 sec waiting; 7 min 44 sec build duration; 7 min 50 sec total from scheduled to completion.
	Revision: 162c01a3517f219f64ed1d04df74fb839dca09f5 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1460
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: 162c01a
	Superseded by #5