Build #2 (Jan 5, 2024, 8:35:17 AM)

	Changes fixup: adjust build.properties with the new path (details / githubweb)
	Pull request #1460 updated at 8:35:03 AM on Jan 5, 2024
	This run spent: 18 sec waiting; 8 min 5 sec build duration; 8 min 13 sec total from scheduled to completion.
	Revision: ba386e6c074494e5681daf837748bb4d3c0a471f 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: 1 Latest commit: ba386e6