Skip to content

Comments

chore: move to using Ruff#86

Merged
henryiii merged 1 commit intomainfrom
henryiii/chore/ruff
Feb 23, 2023
Merged

chore: move to using Ruff#86
henryiii merged 1 commit intomainfrom
henryiii/chore/ruff

Conversation

@henryiii
Copy link
Member

Move to Ruff.

Signed-off-by: Henry Schreiner <[email protected]>
@henryiii henryiii force-pushed the henryiii/chore/ruff branch from 937e957 to dacd221 Compare February 23, 2023 03:12
@henryiii henryiii merged commit ebe64b2 into main Feb 23, 2023
@henryiii henryiii deleted the henryiii/chore/ruff branch February 23, 2023 04:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant