Build and Test HW-CBMC

SVA: strengthen typing of `sva_sequence_concatenation_exprt` #4163

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-ubuntu-24_04-make-gcc	2m 50s
check-vs-2022-make-build-and-test	8m 34s
check-macos-15-make-clang	3m 1s
Emscripten build	3m 32s
CentOS 8	1m 25s
check-ubuntu-24_04-make-clang	4m 4s
benchmarking	4m 29s
examples	7s
ebmc-spot	37s
	28m 39s