CI-CD Updates (#78) #643
ci.yml
on: push
build-check
8s
build-code-example
5s
unittest-with-sanitizer
16s
unittest-for-coverage
39s
complexity
13s
spell-check
1m 10s
formatting
13s
git-secrets
9s
link-verifier
1m 4s
verify-manifest
5s
doxygen
26s
memory_statistics
31s
proof_ci
0s