Merge commit 'ecd1d07360734b1af76582118b002ca0c4448e07' #454

Job	Run time
ubuntu-noble (g++-13)	1m 59s
ubuntu-noble (g++-14)	2m 13s
ubuntu-jammy (g++-13)	10m 24s
ubuntu-jammy (g++-12)	10m 14s
non_intel_ubuntu_22_04_gcc (aarch64)	20m 2s
ubuntu-jammy (g++-11)	9m 41s
non_intel_ubuntu_22_04_gcc (ppc64le)	21m 2s
non_intel_ubuntu_22_04_gcc (s390x)	19m 45s
non_intel_ubuntu_22_04_clang (ppc64le)	21m 34s
ubuntu-jammy-clang (clang++-15)	2m 8s
emscripten_wasm (emcc)	2m 6s
non_intel_ubuntu_22_04_clang (aarch64)	20m 49s
macos (clang)	1m 52s
windows_msvc_14_3 (msvc-14.3)	2m 36s
windows_clang_msvc_14_3 (clang-msvc-14.3)	2m 35s
	2h 29m 0s

Provide feedback