Skip to content

Conversation

@josselinonduty
Copy link
Collaborator

Fixes #202

@josselinonduty
Copy link
Collaborator Author

included minor linting and removed useless row

@josselinonduty josselinonduty merged commit ea19fe3 into master Jan 23, 2026
2 checks passed
@josselinonduty josselinonduty deleted the josselinonduty/issue202 branch January 23, 2026 00:01
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.

[ENH] Stop build (and ci) when a failing hunk is detected

2 participants