Build and Test HW-CBMC

Merge pull request #981 from diffblue/default-disable-iff-not-supported #3410

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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