CI Checks

Update the changelog for v3.1.3 (#206) #986

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	19s
ssot-check	6s
unittest	22s
doxygen	2m 3s
spell-check	55s
memory_statistics	34s
git-secrets	6s
link-verifier	3m 42s
verify-manifest	11s
formatting	11s
proof_ci	0s
	8m 29s