CI Checks

[v1.3.1] Update change log, version numbers and .md files for release #396

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	41s
formatting	8s
complexity	9s
git-secrets	7s
link-verifier	1m 31s
memory_statistics	32s
proof_ci	5m 17s
spell-check	56s
unittest	30s
verify-manifest	15s
	10m 6s