ruff
Rename more local usages of `check` to `diagnostic`
#1738

Merged

Rename more local usages of `check` to `diagnostic` #1738

charliermarsh merged 1 commit into main from charlie/check

Rename more local usages of check to diagnostic

5c28eb5a

charliermarsh merged 161ab055 into main 2 years ago

charliermarsh deleted the charlie/check branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone