Skip to content

Conversation

@xenova
Copy link
Contributor

@xenova xenova commented Oct 30, 2024

For some reason, CI was green before merging #995, but missed the formatting and linting step.

This PR should fix it 👍

@xenova
Copy link
Contributor Author

xenova commented Oct 30, 2024

Looks to be same as #990.

@xenova xenova merged commit fdde9c8 into main Oct 30, 2024
5 checks passed
@xenova xenova deleted the fix-lint branch October 30, 2024 10:56
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.

2 participants