Skip to content

Configure Pyrefly tooling - #181

Open
yash2006kr wants to merge 1 commit into
google:copybara_pushfrom
yash2006kr:codex/configure-pyrefly
Open

Configure Pyrefly tooling#181
yash2006kr wants to merge 1 commit into
google:copybara_pushfrom
yash2006kr:codex/configure-pyrefly

Conversation

@yash2006kr

Copy link
Copy Markdown

Addresses #174.

Summary

  • add the Google OSS Pyrefly configuration for smart_control
  • add Pyrefly to the Poetry dev dependency group and regenerate poetry.lock
  • run Pyrefly from GitHub Actions and pre-commit hooks in report-only mode
  • document the new type-checking workflow for contributors

Notes

Pyrefly currently reports existing findings in the repository, so this PR wires the check in as non-blocking for now. This matches the discussion in #174/#175 about landing the tooling before the upcoming internal sync-out resolves the current findings. The TODO comments mark the CI and pre-commit places where || true / report-only behavior can be removed later.

Validation

  • poetry lock
  • poetry check (passes with existing Poetry deprecation warnings)
  • pyrefly check --config pyrefly.toml (command/config verified; reports existing findings)

@google-cla

google-cla Bot commented Aug 21, 2026

Copy link
Copy Markdown

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

@yash2006kr
yash2006kr force-pushed the codex/configure-pyrefly branch from 5a1ec28 to 1567ccb Compare August 21, 2026 15:09
@yash2006kr
yash2006kr force-pushed the codex/configure-pyrefly branch from 1567ccb to 810f501 Compare August 26, 2026 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant