Build for different runners

Update badge #1491

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on ubuntu-20.04 for jdk17	3m 0s
Build on ubuntu-22.04 for jdk17	2m 33s
Build on ubuntu-24.04 for jdk17	6m 25s
Build on macos-13 for jdk17	3m 41s
Build on macos-14 for jdk17	5m 53s
Build on macos-15 for jdk17	5m 27s
Build on windows-2019 for jdk17	7m 23s
Build on windows-2022 for jdk17	7m 23s
Build on ubuntu-20.04 for jdk21	3m 0s
Build on ubuntu-22.04 for jdk21	6m 6s
Build on ubuntu-24.04 for jdk21	2m 20s
Build on macos-13 for jdk21	3m 24s
Build on macos-14 for jdk21	2m 22s
Build on macos-15 for jdk21	2m 19s
Build on windows-2019 for jdk21	8m 2s
Build on windows-2022 for jdk21	9m 2s
	1h 18m 20s