Apply formatting bot fix (#79) #645
ci.yml
on: push
build-check
6s
build-code-example
7s
unittest-with-sanitizer
12s
unittest-for-coverage
22s
complexity
13s
spell-check
57s
formatting
11s
git-secrets
8s
link-verifier
1m 8s
verify-manifest
5s
doxygen
23s
memory_statistics
36s
proof_ci
0s