CI Checks

Fix the permission for authenticate with OIDC #989

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ssot-check	6s
unittest	33s
doxygen	20s
formatting	12s
spell-check	1m 6s
link-verifier	4m 50s
complexity	17s
git-secrets	5s
verify-manifest	14s
memory_statistics	36s
proof_ci	3m 40s
	11m 59s