CI Checks

Update changelog.md #361

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	14s
formatting	14s
complexity	9s
complexity	9s
git-secrets	4s
git-secrets	4s
doxygen	15s
doxygen	15s
link-verifier	1m 5s
link-verifier	1m 5s
memory_statistics	29s
memory_statistics	29s
proof_ci	5s
proof_ci	11m 26s
spell-check	47s
spell-check	47s
unittest	17s
unittest	17s
verify-manifest	5s
verify-manifest	5s
	18m 21s