Build for different runners

Merge branch 'master' into feature/make-boost-andswig-versions-config… #1445

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 3s
Build on ubuntu-22.04 for jdk17	5m 35s
Build on ubuntu-24.04 for jdk17	6m 2s
Build on macos-13 for jdk17	10m 0s
Build on macos-14 for jdk17	4m 59s
Build on macos-15 for jdk17	4m 50s
Build on windows-2019 for jdk17	7m 36s
Build on windows-2022 for jdk17	9m 31s
Build on ubuntu-20.04 for jdk21	3m 34s
Build on ubuntu-22.04 for jdk21	2m 26s
Build on ubuntu-24.04 for jdk21	2m 25s
Build on macos-13 for jdk21	5m 7s
Build on macos-14 for jdk21	2m 24s
Build on macos-15 for jdk21	2m 20s
Build on windows-2019 for jdk21	8m 13s
Build on windows-2022 for jdk21	7m 59s
	1h 26m 4s