Skip to content
This repository has been archived by the owner on Oct 11, 2024. It is now read-only.

chore: Bumps ruff version & fixes typing #9

Merged
merged 7 commits into from
Sep 17, 2023
Merged

chore: Bumps ruff version & fixes typing #9

merged 7 commits into from
Sep 17, 2023

Conversation

frgfm
Copy link
Member

@frgfm frgfm commented Sep 17, 2023

This PR bumps ruff version and fixes typing.

@frgfm frgfm merged commit 1c4d3d0 into main Sep 17, 2023
@frgfm frgfm deleted the ruff branch September 17, 2023 10:10
frgfm added a commit that referenced this pull request Mar 28, 2024
* fix: Fixes cache usage

* feat: Ensures the guidelines are well ordered
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant