Build and Test HW-CBMC

Merge pull request #526 from diffblue/bump-cbmc2 #1776

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-macos-12-make-clang	17m 29s
CentOS 8	4m 11s
check-ubuntu-20_04-make-clang	12m 38s
check-ubuntu-20_04-make-gcc	13m 5s
	47m 23s