Skip to content

Conversation

Hofer-Julian
Copy link
Contributor

Needed for #400

Copy link
Contributor

@nichmor nichmor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

have we missed doing that in CI or pre-commit checks? or it was one time slippage?

@Hofer-Julian
Copy link
Contributor Author

have we missed doing that in CI or pre-commit checks? or it was one time slippage?

I don't really understand why it wasn't caught in CI before, but is caught now tbh

@Hofer-Julian Hofer-Julian enabled auto-merge (squash) October 9, 2025 14:26
@Hofer-Julian Hofer-Julian merged commit 964355f into prefix-dev:main Oct 9, 2025
29 of 32 checks passed
@Hofer-Julian Hofer-Julian deleted the fix/clippy-py-backend branch October 9, 2025 14:27
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.

3 participants