Skip to content

languages/python: add mypy#1395

Merged
horriblename merged 1 commit intoNotAShelf:mainfrom
snoweuph:feature/py
Feb 18, 2026
Merged

languages/python: add mypy#1395
horriblename merged 1 commit intoNotAShelf:mainfrom
snoweuph:feature/py

Conversation

@snoweuph
Copy link
Copy Markdown
Collaborator

@snoweuph snoweuph commented Feb 4, 2026

adds mypy for python

Sanity Checking

  • I have updated the changelog as per my changes
  • I have tested, and self-reviewed my code
  • My changes fit guidelines found in hacking nvf
  • Style and consistency
    • I ran Alejandra to format my code (nix fmt)
    • My code conforms to the editorconfig configuration of the project
    • My changes are consistent with the rest of the codebase
  • If new changes are particularly complex:
    • My code includes comments in particularly complex areas
    • I have added a section in the manual
    • (For breaking changes) I have included a migration guide
  • Package(s) built:
    • .#nix (default package)
    • .#maximal
    • .#docs-html (manual, must build)
    • .#docs-linkcheck (optional, please build if adding links)
  • Tested on platform(s)
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin

Add a 👍 reaction to pull requests you find important.

@snoweuph
Copy link
Copy Markdown
Collaborator Author

snoweuph commented Feb 7, 2026

rebased

@snoweuph
Copy link
Copy Markdown
Collaborator Author

snoweuph commented Feb 7, 2026

requires #1398 before I rebase

@snoweuph
Copy link
Copy Markdown
Collaborator Author

snoweuph commented Feb 7, 2026

rebased

@snoweuph
Copy link
Copy Markdown
Collaborator Author

rebased

Copy link
Copy Markdown
Collaborator

@horriblename horriblename left a comment

Choose a reason for hiding this comment

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

thanks!

@horriblename horriblename enabled auto-merge (squash) February 18, 2026 10:15
github-actions Bot pushed a commit that referenced this pull request Feb 18, 2026
@horriblename horriblename merged commit 4d2f488 into NotAShelf:main Feb 18, 2026
14 checks passed
@github-actions
Copy link
Copy Markdown

🚀 Live preview deployed from 1355f90

View it here:

Debug Information

Triggered by: horriblename

HEAD at: feature/py

Reruns: 2122

@snoweuph snoweuph deleted the feature/py branch February 18, 2026 17:50
daynyxx pushed a commit to daynyxx/nvf that referenced this pull request Feb 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants