Build #4 (Apr 24, 2024, 3:54:11 AM)

	Pull request #1797 updated at 3:53:56 AM on Apr 24, 2024
	This run spent: 13 sec waiting; 3 min 29 sec build duration; 3 min 35 sec total from scheduled to completion.
	Revision: b666dec74e3d522dc9cdcb6ea51c916f49fd442c Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1797
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: b666dec
	Superseded by #5