Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve mypy checking #757

Merged
merged 11 commits into from
Apr 5, 2025
Merged

Improve mypy checking #757

merged 11 commits into from
Apr 5, 2025

Conversation

schnellerhase
Copy link
Contributor

@schnellerhase schnellerhase commented Mar 17, 2025 •
edited
Loading

  1. Fixes some typing checks
  2. Activates mypy checks globally and switches to an exclusion based configuration that allows for partial fixing.
  3. Adds py.typed
  4. Add Python 3.13 to CI matrix

@schnellerhase schnellerhase marked this pull request as ready for review March 17, 2025 16:32
@garth-wells garth-wells enabled auto-merge April 5, 2025 08:47
@garth-wells garth-wells added this pull request to the merge queue Apr 5, 2025
Merged via the queue into FEniCS:main with commit 1ae63e9 Apr 5, 2025
8 checks passed
@schnellerhase schnellerhase deleted the mypy branch April 5, 2025 10:04
@jorgensd jorgensd mentioned this pull request Apr 8, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@garth-wells garth-wells garth-wells approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@schnellerhase @garth-wells