Add pyrefly and pyrefly-docs configuration #2813
Merged
+47
−5
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Add pyrefly type checker and pyrefly-docs hooks to pre-commit configuration.
Note
Integrates
pyreflytype checking into the tooling and applies minimal code tweaks to satisfy it.pyreflyandpyrefly-docspre-push hooks in.pre-commit-config.yamland include them in CI skip list[tool.pyrefly]and addpyreflyto dev dependencies inpyproject.tomlspelling_private_dict.txtwithpyreflypyreflyignores: annotateWebDriverinadmin/create_secrets_files.py; add# pyrefly: ignore[bad-argument-type]oncopy.replace(...)intarget_manager.pyand_requests_mock_server/mock_web_services_api.py(no functional changes)Written by Cursor Bugbot for commit b7fcaf6. This will update automatically on new commits. Configure here.