CI Checks

Merge pull request #1213 from tony-josi-aws/update_mainfest #689

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	13s
complexity	34s
build-checks	1m 0s
doxygen	20s
git-secrets	6s
link-verifier	1m 2s
proof_ci	0s
spell-check	1m 1s
unittest	5m 31s
verify-manifest	21s
	10m 8s