CI Checks

Update changelog (#200) #645

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	36s
formatting	10s
doxygen	44s
git-secrets	5s
verify-manifest	8s
link-verifier	7m 57s
memory_statistics	34s
complexity	7s
spell-check	1m 12s
proof_ci	0s
	11m 33s