Build and Test HW-CBMC

SystemVerilog: `chandle` data type #3202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-macos-14-make-clang	7m 40s
check-ubuntu-20_04-make-clang	12m 23s
check-ubuntu-20_04-make-gcc	11m 59s
Emscripten build	16m 30s
check-vs-2022-make-build-and-test	15m 1s
CentOS 8	9m 40s
examples	10s
benchmarking	3m 42s
	1h 17m 5s