Syntactic checks

Enable default analysis flags for CBMC version 6.0+ #1774

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-clang-format	1m 12s
check-cpplint	51s
check-rustfmt	16s
	2m 19s