Apply formatting bot fix (#88) #538
ci.yml
on: push
build-check-library
15s
unittest
45s
build-with-default-config
7s
complexity
10s
doxygen
27s
spell-check
44s
formatting
11s
git-secrets
8s
memory_statistics
37s
link-verifier
42s
verify-manifest
8s
proof_ci
0s