ruff
Use production builds of Ruff for pre-commit
#8410

Merged

Use production builds of Ruff for pre-commit #8410

zanieb merged 1 commit into main from zanie/pre-commit

Use production builds of Ruff for pre-commit

66378ecb

zanieb added internal

charliermarsh approved these changes on 2023-11-01

zanieb merged 29573dae into main 1 year ago

zanieb deleted the zanie/pre-commit branch 1 year ago

Reviewers

charliermarsh

Assignees

No one assigned

Labels

internal

Milestone

No milestone