Build #25 (May 27, 2024, 2:00:09 PM)

	Build Artifacts
	Push event to branch develop at 1:59:51 PM on May 27, 2024
	This run spent: 16 sec waiting; 1 hr 6 min build duration; 1 hr 6 min total from scheduled to completion.
	Revision: c3f80a9b8afbbef01b90d333db89dfbe42057547 Repository: https://github.com/eclipse-jdtls/eclipse-jdt-core-incubator.git develop
	Test Result (no failures)
	Compiler and API Tools: One warning Quality gate: Success