Repository navigation

fix: add `which` to `extraPkgs` - #70

Merged

jolars merged 1 commit into

benchopt:mainfrom

jolars:use-which

Aug 28, 2026

Merged

fix: add `which` to `extraPkgs`#70
jolars merged 1 commit into
benchopt:mainfrom
jolars:use-which

Commits on Aug 28, 2026
- fix: add `which` to `extraPkgs`
  jolars
  committed
  e764c3a