CI Checks

Fix MISRA deviations #624

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	1m 32s
spell-check	1m 7s
unittest	31s
git-secrets	5s
doxygen	20s
verify-manifest	7s
link-verifier	2m 0s
memory_statistics	34s
formatting	1s
proof_ci	15m 27s
	21m 44s