Skip to content

Mention the pyrefly-coverage-check pre-commit hook in the pyrefly coverage docs - #5522

Closed
jorenham wants to merge 1 commit into
pyrefly-org:mainfrom
jorenham:coverage/pre-commit-hook
Closed

jorenham wants to merge 1 commit into
pyrefly-org:mainfrom
jorenham:coverage/pre-commit-hook

Conversation

@jorenham

@jorenham jorenham commented Nov 4, 2026

Copy link
Copy Markdown
Collaborator

Summary

This depends on pyrefly-org/pyrefly-pre-commit#18

  • I am a human, and I fully understand the code I am submitting.

Test Plan

Docs seem to build.

@jorenham jorenham added documentation Improvements or additions to documentation coverage Issues related to `pyrefly coverage` labels Nov 4, 2026
@meta-cla meta-cla Bot added the cla signed label Nov 4, 2026
@github-actions

github-actions Bot commented Nov 4, 2026

Copy link
Copy Markdown

✅ This PR meets all requirements from our pull request checklist.

Optional recommendations:

  • If this PR addresses an open issue, please link the issue in the PR description and claim it.

Note: this comment updates automatically after changes to the PR. Updates may take up to half an hour.

@meta-codesync

meta-codesync Bot commented Nov 4, 2026

Copy link
Copy Markdown
Contributor

This pull request has been imported. If you are a Meta employee, you can view this in D129601555. (Because this pull request was imported automatically, there will not be any future comments.)

@rchen152 rchen152 self-assigned this Nov 4, 2026

@rchen152 rchen152 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review automatically exported from Phabricator review in Meta.

@meta-codesync meta-codesync Bot closed this in 9dd112d Nov 4, 2026
@meta-codesync meta-codesync Bot added the Merged label Nov 4, 2026
@meta-codesync

meta-codesync Bot commented Nov 4, 2026

Copy link
Copy Markdown
Contributor

This pull request has been merged in 9dd112d.

@jorenham
jorenham deleted the coverage/pre-commit-hook branch November 4, 2026 17:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla signed coverage Issues related to `pyrefly coverage` documentation Improvements or additions to documentation Merged quansight size/xs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants