CI Checks

[v1.4.0] Update changelog, version numbers and .md files for release #585

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	1m 12s
formatting	11s
doxygen	18s
complexity	10s
git-secrets	7s
link-verifier	56s
memory_statistics	35s
spell-check	47s
verify-manifest	7s
proof_ci	15m 26s
	19m 49s