cbmc 6.4.0 is latest now #2547

Job	Run time
clang-sanitizers (,thread)	2m 21s
downstream	42m 19s
clang-sanitizers (,address,undefined)	1m 49s
linux-compat (manylinux1-x64)	1m 14s
linux-no-cpu-extensions	1m 37s
linux-compat (manylinux1-x86)	1m 12s
linux-compiler-compat (clang-3)	1m 46s
linux-compat (manylinux2014-x64)	1m 18s
linux-compiler-compat (clang-6)	6m 25s
linux-compat (manylinux2014-x86)	1m 22s
linux-compiler-compat (clang-8)	6m 25s
linux-shared-libs	1m 35s
linux-compat (raspbian-bullseye)	6m 45s
linux-compiler-compat (clang-9)	6m 8s
linux-compat (fedora-34-x64)	1m 17s
linux-compiler-compat (clang-10)	2m 0s
linux-compat (opensuse-leap)	1m 39s
linux-compiler-compat (clang-11)	1m 54s
windows	2m 41s
linux-compat (rhel8-x64)	1m 8s
linux-compiler-compat (gcc-4.8)	1m 31s
linux-compat (al2-x64)	1m 16s
linux-compiler-compat (gcc-5)	1m 34s
linux-compiler-compat (gcc-6)	1m 49s
windows-no-cpu-extensions	1m 54s
linux-compiler-compat (gcc-7)	1m 33s
windows-shared-libs	2m 31s
linux-compiler-compat (gcc-8)	1m 43s
windows-vc14 (x86)	2m 14s
linux-compiler-compat (gcc-11)	2m 45s
windows-vc15 (x86)	1m 50s
windows-vc14 (x64)	1m 48s
windows-vc16 (x86)	2m 36s
windows-vc15 (x64)	2m 42s
windows-vc16 (x64)	2m 35s
freebsd	9m 42s
macos	1m 32s
macos-no-cpu-extensions	1m 51s
macos-x64	2m 30s
openbsd	12m 39s
windows-app-verifier	19m 36s
Cross Compile linux-armv6	1m 59s
linux-debug	1m 32s
Cross Compile linux-armv7	1m 57s
Cross Compile linux-arm64	1m 49s
Cross Compile android-armv7	2m 16s
macos-debug	1m 36s
windows-debug	2m 47s
	3h 5m 2s

Provide feedback