Point all GitHub actions to mainline following final merge #140
ci.yml
on: push
unittest
36s
complexity
9s
doxygen
17s
spell-check
36s
formatting
16s
ssot-check
5s
git-secrets
5s
memory_statistics
53s
link-verifier
46s
verify-manifest
11s
proof_ci
0s