CI Checks

[v1.3.0] Update change log, version numbers and .md files for release… #377

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	19s
formatting	21s
doxygen	25s
git-secrets	8s
link-verifier	35s
memory_statistics	32s
proof_ci	5m 41s
spell-check	41s
unittest	53s
verify-manifest	7s
	9m 42s