Build and Test HW-CBMC

SystemVerilog: add tests for `const` #2691

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-macos-14-make-clang	2m 24s
check-ubuntu-20_04-make-clang	1m 48s
CentOS 8	57s
check-ubuntu-20_04-make-gcc	1m 28s
Emscripten build	52s
check-vs-2022-make-build-and-test	3m 38s
benchmarking	3m 37s
examples	3s
	14m 47s