Skip to content

Comments

Improve typing in gmres#304

Merged
inducer merged 5 commits intoinducer:mainfrom
alexfikl:fix-ruff
Feb 20, 2026
Merged

Improve typing in gmres#304
inducer merged 5 commits intoinducer:mainfrom
alexfikl:fix-ruff

Conversation

@alexfikl
Copy link
Collaborator

A couple of changes here:

  1. Fix the ruff config in the new version.
  2. Add a bunch more types to gmres.

@alexfikl alexfikl marked this pull request as ready for review February 20, 2026 09:52
@inducer inducer enabled auto-merge (rebase) February 20, 2026 22:37
@inducer inducer merged commit 014c565 into inducer:main Feb 20, 2026
8 checks passed
@alexfikl alexfikl deleted the fix-ruff branch February 21, 2026 08:48
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.

2 participants