Release CBMC 6.4.1 #10617

Job	Run time
check-ubuntu-20_04-cmake-gcc	17m 51s
check-ubuntu-20_04-make-clang	22m 34s
check-ubuntu-20_04-make-clang-smt-z3	4m 16s
check-ubuntu-20_04-make-gcc	19m 16s
check-ubuntu-22_04-cmake-gcc	16m 14s
check-ubuntu-22_04-cmake-gcc-32bit	15m 14s
check-ubuntu-22_04-make-clang	17m 52s
check-ubuntu-24_04-cmake-gcc-14	15m 14s
check-docker-image	20m 50s
check-macos-13-make-clang	35m 20s
check-macos-14-cmake-clang	53m 53s
check-string-table	2m 9s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 10s
check-ubuntu-20_04-cmake-gcc-THOROUGH	10m 6s
check-vs-2019-cmake-build-and-test	30m 16s
check-vs-2022-make-build-and-test	20m 44s
include-what-you-use	23m 4s
windows-msi-package	22m 32s
	5h 50m 35s

Provide feedback