Build #2 (Jun 5, 2023, 3:16:20 AM)

	Changes Update Migration Guide for Platform and JDT for 4.28 Fixes (#61) (#62) (details / githubweb)
	Push event to branch R4_28_maintenance at 3:16:04 AM on Jun 5, 2023
	This run spent: 21 sec waiting; 5 min 17 sec build duration; 5 min 26 sec total from scheduled to completion.
	Revision: ef541ab8da0d8ff060b9fd4d66b1efeb862dd149 Repository: https://github.com/eclipse-jdt/eclipse.jdt.git R4_28_maintenance
	SCM: git https://github.com/eclipse-jdt/eclipse.jdt.git Commits since last build: 1 Latest commit: ef541ab
	Static Analysis: 9 warnings Static analysis results from: Maven (9), Java Compiler (0) Reference build: R4_28_maintenance #1