Adjust DepthIndicator
precision based on it's value (and fix it's width)
#125
docs-check.yml
on: pull_request
fail-if-docs-needed
0s