CI Checks

Fix the permission for authenticate with OIDC (#208) #990

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	24s
formatting	12s
complexity	10s
spell-check	59s
link-verifier	1m 39s
ssot-check	5s
doxygen	12s
verify-manifest	11s
memory_statistics	35s
git-secrets	5s
proof_ci	0s
	4m 32s