merge #878

Job	Run time
windows-2019 / Release / cl	35m 53s
macos-13 / Release / homebrew-clang	18m 44s
windows-2019 / Release / clang	35m 11s
macos-13 / Debug / homebrew-clang	17m 19s
ubuntu-22.04 / Release / gcc-11	24m 39s
windows-2019 / Release / clang-cl	40m 43s
ubuntu-22.04 / Debug / gcc-11	21m 36s
windows-2019 / Debug / cl	27m 14s
ubuntu-22.04 / Release / gcc-12	28m 47s
windows-2019 / Debug / clang	28m 55s
ubuntu-22.04 / Debug / gcc-12	25m 11s
windows-2019 / Debug / clang-cl	33m 44s
ubuntu-22.04 / Release / gcc-13	24m 43s
windows-2022 / Release / cl	39m 50s
ubuntu-22.04 / Debug / gcc-13	22m 29s
windows-2022 / Release / clang	40m 10s
ubuntu-22.04 / Release / clang-14	23m 32s
windows-2022 / Release / clang-cl	38m 28s
ubuntu-22.04 / Debug / clang-14	19m 5s
windows-2022 / Debug / cl	31m 35s
ubuntu-22.04 / Release / clang-15	24m 26s
windows-2022 / Debug / clang	36m 46s
ubuntu-22.04 / Debug / clang-15	19m 39s
windows-2022 / Debug / clang-cl	35m 3s
ubuntu-22.04 / Release / clang-16	25m 23s
ubuntu-22.04 / Debug / clang-16	20m 3s
ubuntu-22.04 / Release / clang-17	25m 43s
ubuntu-22.04 / Debug / clang-17	20m 15s
	13h 5m 6s

Provide feedback