CI Checks

Update version numbers to v1.4.0 #364

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	8s
formatting	8s
complexity	7s
complexity	7s
doxygen	13s
doxygen	13s
git-secrets	4s
git-secrets	4s
link-verifier	35s
link-verifier	35s
memory_statistics	32s
memory_statistics	32s
spell-check	50s
spell-check	50s
unittest	17s
unittest	17s
verify-manifest	4s
verify-manifest	4s
proof_ci	3s
proof_ci	13m 10s
	18m 53s