C/C++ CI

Update .github/workflows/c-cpp.yml to include libz3.so.4.12 #241

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-debug	1m 25s
build-release	1m 49s
test-debug	11s
test-release	5s
	3m 30s