Build #9 (Oct 2, 2023, 12:20:05 PM)

	Pull request #327 updated at 12:19:52 PM on Oct 2, 2023
	This run spent: 13 sec waiting; 2 min 35 sec build duration; 2 min 41 sec total from scheduled to completion.
	Revision: 43ffe5c5f32099464a2f84b310183ad889c5b469 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: 43ffe5c