merge #948

Job	Run time
ubuntu-22.04 / Release / gcc-11	26m 5s
ubuntu-22.04 / Debug / gcc-11	23m 4s
macos-13 / Release / homebrew-clang	21m 11s
windows-2019 / Release / cl	47m 2s
ubuntu-22.04 / Release / gcc-12	29m 55s
macos-13 / Debug / homebrew-clang	23m 21s
ubuntu-22.04 / Debug / gcc-12	26m 36s
macos-14 / Release / homebrew-clang	13m 6s
windows-2019 / Release / clang	44m 12s
ubuntu-22.04 / Release / gcc-13	29m 8s
macos-14 / Debug / homebrew-clang	9m 32s
windows-2019 / Release / clang-cl	45m 48s
ubuntu-22.04 / Debug / gcc-13	23m 20s
windows-2019 / Debug / cl	24m 44s
ubuntu-22.04 / Release / clang-14	27m 37s
windows-2019 / Debug / clang	40m 15s
windows-2019 / Debug / clang-cl	34m 30s
windows-2022 / Release / cl	36m 41s
windows-2022 / Release / clang	53m 59s
ubuntu-22.04 / Debug / clang-14	20m 21s
windows-2022 / Release / clang-cl	39m 15s
ubuntu-22.04 / Release / clang-15	26m 26s
windows-2022 / Debug / cl	44m 32s
ubuntu-22.04 / Debug / clang-15	21m 11s
windows-2022 / Debug / clang	44m 21s
ubuntu-22.04 / Release / clang-16	28m 17s
windows-2022 / Debug / clang-cl	36m 0s
ubuntu-22.04 / Debug / clang-16	21m 10s
ubuntu-22.04 / Release / clang-17	27m 14s
ubuntu-22.04 / Debug / clang-17	21m 29s
	15h 10m 22s

Provide feedback