Merge pull request #8297 from diffblue/goto-check-c-fatal #40

Job	Run time
check-ubuntu-20_04-make-clang	36m 36s
check-ubuntu-20_04-make-gcc	35m 27s
check-macos-11-make-clang	1h 21m 15s
check-macos-12-cmake-clang	1h 9m 49s
check-ubuntu-20_04-cmake-gcc	39m 27s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	21m 47s
check-ubuntu-20_04-cmake-gcc-THOROUGH	25m 39s
check-ubuntu-22_04-cmake-gcc	39m 15s
check-ubuntu-20_04-make-clang-smt-z3	14m 51s
check-ubuntu-22_04-cmake-gcc-32bit	38m 34s
check-ubuntu-22_04-cmake-gcc-13	12s
check-ubuntu-22_04-make-clang	37m 16s
check-vs-2019-cmake-build-and-test	1h 9m 7s
check-vs-2022-make-build-and-test	1h 10m 35s
windows-msi-package	20m 50s
check-docker-image	22m 50s
check-string-table	2m 38s
codecov-coverage-report	59m 11s
include-what-you-use	25m 50s
	11h 51m 9s

Provide feedback