CI Checks

Update the changelog for v3.1.3 #985

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check	54s
formatting	14s
complexity	8s
ssot-check	6s
link-verifier	12m 29s
memory_statistics	34s
git-secrets	5s
doxygen	16s
unittest	31s
proof_ci	3m 19s
verify-manifest	8s
link-verifier	2m 47s
git-secrets	5s
formatting	14s
spell-check	54s
proof_ci	3m 19s
complexity	8s
verify-manifest	8s
memory_statistics	34s
doxygen	16s
unittest	31s
ssot-check	6s
	27m 46s