Build and Test HW-CBMC

property instantiation now returns largest timeframe used #1783

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CentOS 8	11m 22s
check-macos-12-make-clang	18m 27s
check-ubuntu-20_04-make-gcc	1m 14s
check-ubuntu-20_04-make-clang	1m 25s
	32m 28s