CI Checks

Fix/update and add unit tests #1852

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	14s
custom-standard-c-headers	14s
spell-check	1m 27s
link-verifier	9m 33s
git-secrets	8s
complexity	17s
verify-manifest	7s
proof_ci	1m 41s
memory_statistics	35s
formatting	12s
unittest	17s
	14m 45s