CI-CD Updates (#118) #1
pull[bot]ci.yml
on: push
unittest
37s
build-with-default-config
7s
complexity
10s
doxygen
20s
spell-check
56s
formatting
10s
git-secrets
4s
memory_statistics
43s
link-verifier
1m 1s
verify-manifest
6s
proof_ci
0s