Automatically produce a CBMC release twice per month #10388

Job	Run time
check-ubuntu-20_04-cmake-gcc	31m 47s
check-ubuntu-20_04-make-clang	33m 17s
check-ubuntu-20_04-make-clang-smt-z3	13m 46s
check-ubuntu-20_04-make-gcc	35m 10s
check-ubuntu-22_04-cmake-gcc	29m 31s
check-ubuntu-22_04-make-clang	32m 57s
check-docker-image	21m 13s
check-macos-12-cmake-clang	1h 10m 8s
check-macos-13-make-clang	47m 48s
check-string-table	2m 12s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	19m 31s
check-ubuntu-20_04-cmake-gcc-THOROUGH	25m 1s
check-ubuntu-22_04-cmake-gcc-32bit	29m 43s
check-ubuntu-24_04-cmake-gcc-14	48m 23s
check-vs-2019-cmake-build-and-test	47m 29s
check-vs-2022-make-build-and-test	34m 35s
include-what-you-use	22m 59s
windows-msi-package	21m 37s
	9h 27m 7s

Provide feedback