Skip to content

ruff . --fix - #3176

Merged
janosh merged 1 commit into
masterfrom
fix-ruff
Jul 22, 2023
Merged

ruff . --fix#3176
janosh merged 1 commit into
masterfrom
fix-ruff

Conversation

@janosh

@janosh janosh commented Jul 22, 2023

Copy link
Copy Markdown
Member

Auto fix 64 cases of RUF015 and PERF102.

64 cases of RUF015 and PERF102
@janosh janosh added the housekeeping Moving around or cleaning up old code/files label Jul 22, 2023
@janosh
janosh merged commit 9122d21 into master Jul 22, 2023
@janosh
janosh deleted the fix-ruff branch July 22, 2023 03:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

housekeeping Moving around or cleaning up old code/files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant