Build and Test HW-CBMC

Merge pull request #361 from diffblue/elaborate-functions #1165

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-ubuntu-20_04-make-gcc	1m 10s
check-ubuntu-20_04-make-clang	1m 29s
CentOS 8	1m 12s
	3m 51s