Build and Test HW-CBMC

SVA-to-Buechi: `s_always` #4100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-ubuntu-24_04-make-gcc	2m 34s
CentOS 8	1m 0s
Emscripten build	2m 13s
check-ubuntu-24_04-make-clang	2m 55s
check-macos-15-make-clang	1m 49s
check-vs-2022-make-build-and-test	3m 50s
benchmarking	3m 48s
examples	10s
ebmc-spot	34s
	18m 53s