Back to pull request #935

BMC: return `property_checker_resultt` #3266

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CentOS 8	1m 11s
check-macos-14-make-clang	1m 59s
check-ubuntu-20_04-make-clang	1m 47s
check-ubuntu-20_04-make-gcc	2m 7s
Emscripten build	1m 50s
check-vs-2022-make-build-and-test	2m 47s
benchmarking	3m 48s
examples	6s
	15m 35s