Apply formatting bot fix (#119) #77
ci.yml
on: push
unittest
23s
build-with-default-config
11s
complexity
17s
doxygen
3m 54s
spell-check
36s
formatting
13s
git-secrets
3s
memory_statistics
38s
link-verifier
1m 3s
verify-manifest
6s
proof_ci
0s