Skip to content

Automatic formatting changes#124

Merged
abelcheung merged 1 commit into
mainfrom
create-pull-request/formatting
Jun 29, 2026
Merged

Automatic formatting changes#124
abelcheung merged 1 commit into
mainfrom
create-pull-request/formatting

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated formatting by ruff-action and create-pull-request

@github-actions github-actions Bot added the bot Issues/PRs created by or related to bot label Apr 23, 2026
@attilaolah

Copy link
Copy Markdown

The intention is good but it makes the # pyrefly pragma broader than necessary.

@abelcheung abelcheung merged commit 78e9a1d into main Jun 29, 2026
4 checks passed
@abelcheung abelcheung deleted the create-pull-request/formatting branch June 29, 2026 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot Issues/PRs created by or related to bot

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants