Skip to content

Placate ruff about typing imports#664

Closed
inducer wants to merge 0 commit into
mainfrom
ruff-2026-05-31
Closed

Placate ruff about typing imports#664
inducer wants to merge 0 commit into
mainfrom
ruff-2026-05-31

Conversation

@inducer

@inducer inducer commented May 31, 2026

Copy link
Copy Markdown
Owner

No description provided.

@inducer inducer closed this Jun 3, 2026
@inducer inducer force-pushed the ruff-2026-05-31 branch from 17413ce to a4258e3 Compare June 3, 2026 22:00
@inducer inducer deleted the ruff-2026-05-31 branch June 3, 2026 22:00
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