CI Checks

[v1.3.0] Update change log, version numbers and .md files for release (#298) #375

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check	44s
unittest	22s
doxygen	13s
complexity	18s
formatting	45s
git-secrets	6s
link-verifier	1m 32s
memory_statistics	36s
proof_ci	5m 40s
verify-manifest	16s
	10m 32s