Build #1 (Sep 20, 2023, 6:18:21 AM)

	Pull request #806 closed at 6:18:07 AM on Sep 20, 2023
	This run spent: 12 sec waiting; 2 min 9 sec build duration; 2 min 15 sec total from scheduled to completion.
	Revision: 2325fe62d68796bb0f704c08bd70b09a833fe8f1 Repository: https://github.com/eclipse-jdt/eclipse.jdt.ui.git BETA_JAVA21
	SCM: git https://github.com/eclipse-jdt/eclipse.jdt.ui.git Initial recording of 200 commits Latest commit: 2325fe6