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

Commits

Commits on May 28, 2026