Linters

fix(ci): update CBMC proofs' Makefile.common #12473

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clang-format	3m 54s
comments	20s
cppcheck	29m 56s
headers	8s
nixflake	42s
nixfmt	17s
pepeight	10s
simple-mistakes	18s
	35m 45s