[CI] Bring back core release processes #9394

Job	Run time
check-ubuntu-20_04-make-clang	24m 29s
check-ubuntu-20_04-make-clang-smt-z3	3m 15s
check-ubuntu-20_04-make-gcc	15m 15s
check-ubuntu-22_04-make-clang	17m 54s
check-ubuntu-20_04-cmake-gcc	20m 26s
check-ubuntu-22_04-cmake-gcc	19m 24s
check-docker-image	19m 38s
check-macos-11-make-clang	38m 17s
check-macos-12-cmake-clang	33m 33s
check-string-table	2m 35s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 37s
check-ubuntu-20_04-cmake-gcc-THOROUGH	7m 52s
check-ubuntu-22_04-cmake-gcc-13	18m 30s
check-ubuntu-22_04-cmake-gcc-32bit	21m 20s
check-vs-2019-cmake-build-and-test	47m 6s
check-vs-2022-make-build-and-test	41m 5s
codecov-coverage-report	28m 59s
include-what-you-use	26m 34s
windows-msi-package	5m 46s
	6h 34m 35s

Provide feedback