Build #1 (Sep 1, 2022, 10:17:25 AM)

	Push event to branch R4_25_maintenance at 10:17:07 AM on Sep 1, 2022
	This run spent: 7.4 sec waiting; 31 min build duration; 31 min total from scheduled to completion.
	Revision: eb5f64917709bd7c903f72569d1344fbeda305bc Repository: https://github.com/eclipse-platform/eclipse.platform.ui.git R4_25_maintenance
	Test Result (no failures)
	Static Analysis: 122 warnings Static analysis results from: Maven (83), Java Compiler (39)