Last 12 weeks · 24 commits
4 of 6 standards met
If you migrate from pyrefly to pyright for pre-commit, it's very easy to accidentally turn off type checking for some directories. Here's a toy set-up, based on the set-up of a real-world project (pytorch/helion). Essentially, my project has two directories, and , and the type-checking config says to check only : Here's the contents of : And the contents of : Running either or inside produces the same behavior: is checked. However, running causes to check all files as specified, including the contents of . Pyrefly still checks only .
Repository: facebook/pyrefly-pre-commit. Description: A pre-commit hook for Pyrefly. Stars: 22, Forks: 4. Primary language: Python. Languages: Python (52.5%), Shell (47.5%). License: MIT. Open PRs: 0, open issues: 1. Last activity: 4d ago. Community health: 75%. Top contributors: github-actions[bot], rchen152, lolpack, connernilsen, facebook-github-bot.
In https://github.com/pytorch/helion/pull/1143, I successfully got pyrefly running as a pre-commit hook using . When I attempted to follow a reviewer suggestion to switch to , pyrefly then produced 300+ import errors. Here's the working pre-commit set-up: and here's the one that produces boatloads of import errors: