Use `tool.ruff.lint` in more places #8317
Use `tool.ruff.lint` in more places
72506890
mkniewallner
marked this pull request as ready for review 2 years ago
zanieb
approved these changes
on 2023-10-28
zanieb
merged
317b6e86
into main 2 years ago
mkniewallner
deleted the more-tool-ruff-lint branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub