Remove formatting bot workflow (#192) #632
ci.yml
on: push
unittest
35s
complexity
14s
doxygen
18s
spell-check
1m 4s
formatting
31s
git-secrets
5s
memory_statistics
32s
link-verifier
3m 1s
verify-manifest
7s
proof_ci
0s