CI Checks

Follow Security Guide to update YAML files. (#173) #787

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	8s
custom-standard-c-headers	5s
doxygen	19s
formatting	14s
git-secrets	4s
memory_statistics	27s
link-verifier	30s
proof_ci	0s
spell-check	42s
unittest	18s
verify-manifest	5s
	2m 52s