Skip to content

fix: reinstall if required is source and installed is from registry.#3131

Merged
tdejager merged 1 commit intoprefix-dev:mainfrom ruben-arts:fix/pypi-source-mismatchFeb 18, 2025

Commits

Commits on Feb 13, 2025