CI Checks

Fix/update and add unit tests #1853

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check	1m 33s
formatting	21s
doxygen	21s
git-secrets	5s
custom-standard-c-headers	7s
link-verifier	10m 37s
complexity	13s
unittest	27s
proof_ci	1m 32s
verify-manifest	7s
memory_statistics	33s
	15m 56s