Build #8 (Oct 2, 2023, 11:18:24 AM)

	Pull request #327 updated at 11:18:10 AM on Oct 2, 2023
	This run spent: 18 sec waiting; 3 min 47 sec build duration; 3 min 54 sec total from scheduled to completion.
	Revision: a2ff24b54ed6ed6f4bad0386dfc2963bf509ffcb Repository: https://github.com/eclipse-platform/eclipse.platform.git PR-327
	SCM: git https://github.com/eclipse-platform/eclipse.platform.git Commits since last build: 200 Latest commit: a2ff24b