CI Checks

Misra fixes #961

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	26s
formatting	13s
spell-check	1m 16s
doxygen	12s
memory_statistics	33s
unittest	37s
proof_ci	2m 51s
git-secrets	5s
link-verifier	46s
verify-manifest	10s
ssot-check	7s
	7m 16s