Remco Leijenaar

Do you use Conda to install PyTorch by any chance? In that case it might help to remove: - cuda-toolkit==12.1 (or any other version). When you have (in the environment...

@lolpack, I followed the docs for pre-commit integration: [https://pyrefly.org/en/docs/installation/#pre-commit-integration](https://pyrefly.org/en/docs/installation/#pre-commit-integration). When running pre-commit, I get the following warning: ``` [WARNING] Unexpected key(s) present on https://github.com/facebook/pyrefly: skip_install ``` It seems the issue...

@cas-- regarding specifying the venv location: If `pyrefly` needs to access to the user-installed venv, you might as well add pyrefly as a versioned `dev` dependency and use the `pyrefly-typecheck-system`...