Build #1 (Mar 1, 2024, 4:41:19 AM)

	Push event to branch R4_31_maintenance at 4:41:05 AM on Mar 1, 2024
	This run spent: 37 sec waiting; 1 min 42 sec build duration; 1 min 48 sec total from scheduled to completion.
	Revision: 0e96eca5cc1a6ad45663747c0b02c55c030e63cd Repository: https://github.com/eclipse-jdt/eclipse.jdt.core.binaries.git R4_31_maintenance
	SCM: git https://github.com/eclipse-jdt/eclipse.jdt.core.binaries.git Initial recording of 58 commits Latest commit: 0e96eca
	Static Analysis: No warnings Static analysis results from: Maven (0), Java Compiler (0)