Merge branch 'main' into testReleaseYml #496
ci.yml
on: push
unittest
5m 24s
spell-check
1m 3s
formatting
13s
doxygen
19s
verify-manifest
14s
link-verifier
1m 42s
build-checks
57s
complexity
13s
git-secrets
5s
proof_ci
0s