Apply formatting bot fix (#148) #521
ci.yml
on: push
unittest
52s
complexity
13s
doxygen
16s
spell-check
48s
formatting
12s
git-secrets
4s
memory_statistics
45s
link-verifier
1m 14s
verify-manifest
9s
proof_ci
0s