Fix broken links and correct spelling mistakes, update the manifest.yml #142

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	12s
compiler-warnings	26s
coverage	39s
doxygen	24s
formatting	17s
git-secrets	5s
link-verifier	1m 11s
memory_statistics	1m 2s
proof_ci	0s
unittest	33s
spell-check	7m 21s
verify-manifest	23s
	12m 33s