Skip to content

Migration to Ruff linter #68

Closed
Howuhh opened this issue Jul 17, 2023 · 0 comments · Fixed by #69
Closed

Migration to Ruff linter #68

Howuhh opened this issue Jul 17, 2023 · 0 comments · Fixed by #69
Assignees
@Howuhh
Labels
enhancement New feature or request

Comments

@Howuhh
Copy link
Contributor

Howuhh commented Jul 17, 2023 •
edited
Loading

Current setup causes a lot of confusion, we should simplify it.
@Howuhh Howuhh self-assigned this Jul 17, 2023
@Howuhh Howuhh added the enhancement New feature or request label Jul 17, 2023
@vkurenkov vkurenkov mentioned this issue Jul 17, 2023
Merged
@Howuhh Howuhh mentioned this issue Jul 18, 2023
Merged
@Howuhh Howuhh linked a pull request Jul 19, 2023 that will close this issue
Ruff linter and contribution guide #69
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Howuhh Howuhh

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Ruff linter and contribution guide tinkoff-ai/CORL
1 participant
@Howuhh