Merge pull request #8495 from tautschnig/release-6.4.0 #10560

Job	Run time
check-ubuntu-20_04-make-clang-smt-z3	3m 42s
check-ubuntu-20_04-make-gcc	19m 19s
check-docker-image	21m 42s
check-macos-13-make-clang	26m 19s
check-macos-14-cmake-clang	55m 27s
check-string-table	2m 14s
check-ubuntu-20_04-cmake-gcc	17m 52s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 40s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 58s
check-ubuntu-20_04-make-clang	23m 32s
check-ubuntu-22_04-cmake-gcc	16m 39s
check-ubuntu-22_04-cmake-gcc-32bit	16m 59s
check-ubuntu-22_04-make-clang	19m 0s
check-ubuntu-24_04-cmake-gcc-14	15m 17s
check-vs-2019-cmake-build-and-test	31m 7s
check-vs-2022-make-build-and-test	19m 4s
include-what-you-use	22m 57s
windows-msi-package	5m 29s
	5h 30m 17s

Provide feedback