Build #2 (Aug 16, 2023, 2:30:02 PM)

	Pull request #1040 updated at 2:29:50 PM on Aug 16, 2023
	This run spent: 22 sec waiting; 2 min 0 sec build duration; 2 min 6 sec total from scheduled to completion.
	Revision: 7d0fbf29ae6048b439dcec05359e62ad3a795628 Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git PR-1040
	SCM: git https://github.com/eclipse-platform/eclipse.platform.ui.git Commits since last build: 200 Latest commit: 7d0fbf2