Merge branch 'main' into bthomee/gcc #143

Job	Run time
build (linux/amd64, ubuntu-24.04, noble, clang, 18)	1m 37s
build (linux/amd64, ubuntu-24.04, noble, gcc, 13)	1m 33s
build (linux/amd64, ubuntu-24.04, noble, clang, 17)	1m 44s
build (linux/amd64, ubuntu-24.04, noble, clang, 16)	2m 2s
build (linux/amd64, ubuntu-24.04, jammy, gcc, 12)	1m 32s
build (linux/amd64, ubuntu-24.04, noble, gcc, 14)	1m 47s
build (linux/arm64, ubuntu-24.04-arm, jammy, gcc, 12)	1m 52s
build (linux/arm64, ubuntu-24.04-arm, noble, clang, 17)	2m 0s
build (linux/amd64, ubuntu-24.04, noble, clang, 19)	1m 55s
build (linux/arm64, ubuntu-24.04-arm, noble, clang, 18)	2m 28s
build (linux/arm64, ubuntu-24.04-arm, noble, gcc, 13)	1m 51s
build (linux/arm64, ubuntu-24.04-arm, noble, clang, 16)	2m 3s
build (linux/arm64, ubuntu-24.04-arm, noble, clang, 19)	2m 10s
build (linux/arm64, ubuntu-24.04-arm, noble, gcc, 14)	2m 6s
merge	0s
	26m 40s

Provide feedback