Last 12 weeks · 16 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: 27, Forks: 4. Primary language: Python. Languages: Python (52.5%), Shell (47.5%). License: MIT. Open PRs: 0, open issues: 1. Last activity: 1h ago. Community health: 75%. Top contributors: github-actions[bot], rchen152, lolpack, connernilsen, facebook-github-bot.