Skip to content

fix(technical-debt-metrics): regex for exposed public sections#38

Open
SnirBroshi wants to merge 1 commit into
leanprover-community:masterfrom
SnirBroshi:patch-1
Open

fix(technical-debt-metrics): regex for exposed public sections#38
SnirBroshi wants to merge 1 commit into
leanprover-community:masterfrom
SnirBroshi:patch-1

Conversation

@SnirBroshi
Copy link
Copy Markdown

Tested locally with git grep, the latest report says 0 but we actually have ~4.8k

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant