Build and Test

build!: Upgrade to Java 25 to benefit from various optimizations #22338

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
funTest-external-tools	42m 2s
build (ubuntu-24.04)	5m 10s
build (windows-2025)	8m 6s
test (windows-2025)	13m 49s
publication-test	11m 41s
funTest-no-external-tools	4m 42s
test (ubuntu-24.04)	11m 40s
codeql-analysis	9m 38s
	1h 46m 48s