ruff
Ignore directories when collecting files to lint
#5775
Merged

Ignore directories when collecting files to lint #5775

harupy
harupy Ignore directories when collecting files to lint
f0567032
harupy Fix clippy error
d898ffaf
harupy
harupy commented on 2023-07-15
github-actions
zanieb
harupy Apply suggestion
66a7eda0
charliermarsh
charliermarsh
harupy
harupy
harupy harupy requested a review from zanieb zanieb 2 years ago
charliermarsh
harupy
harupy
zanieb
zanieb approved these changes on 2023-07-18
zanieb zanieb merged a4e5e320 into main 2 years ago
harupy harupy deleted the exclude-folder-ending-with-py branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone