update_bits_exprt #9561

Job	Run time
check-ubuntu-20_04-make-gcc	16m 6s
check-ubuntu-20_04-make-clang	27m 38s
check-ubuntu-20_04-make-clang-smt-z3	4m 40s
check-ubuntu-20_04-cmake-gcc	20m 33s
check-ubuntu-22_04-cmake-gcc	20m 28s
check-ubuntu-22_04-make-clang	19m 28s
check-ubuntu-22_04-cmake-gcc-13	18m 35s
check-ubuntu-22_04-cmake-gcc-32bit	21m 26s
check-macos-11-make-clang	46m 39s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 31s
check-ubuntu-20_04-cmake-gcc-THOROUGH	8m 15s
check-macos-12-cmake-clang	48m 12s
check-vs-2019-cmake-build-and-test	49m 32s
check-vs-2022-make-build-and-test	51m 38s
windows-msi-package	5m 4s
check-docker-image	20m 7s
check-string-table	2m 33s
codecov-coverage-report	27m 30s
include-what-you-use	26m 35s
	7h 17m 30s

Provide feedback