Skip to content

MNT allow changing the linter in CI#57

Merged
tomMoral merged 3 commits into
benchopt:mainfrom
tomMoral:MNT_allow_changing_linter
May 28, 2026
Merged

MNT allow changing the linter in CI#57
tomMoral merged 3 commits into
benchopt:mainfrom
tomMoral:MNT_allow_changing_linter

Conversation

@tomMoral
Copy link
Copy Markdown
Member

No description provided.

@tomMoral tomMoral changed the title MNT allow chaging the linter MNT allow changing the linter in CI May 28, 2026
Comment thread objective.py Outdated
@tomMoral tomMoral merged commit 594716f into benchopt:main May 28, 2026
4 checks passed
@tomMoral tomMoral deleted the MNT_allow_changing_linter branch May 28, 2026 15:13
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