CI Checks

Follow Security Guide to update YAML files. #786

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	8s
doxygen	13s
formatting	11s
custom-standard-c-headers	6s
git-secrets	7s
link-verifier	37s
memory_statistics	31s
proof_ci	3m 23s
spell-check	51s
unittest	27s
verify-manifest	5s
	6m 39s