Skip to content

Conversation

@miss-islington
Copy link
Contributor

@miss-islingtonmiss-islington commented Oct 8, 2025

(cherry picked from commit 678e0b8)

Co-authored-by: sobolevn mail@sobolevn.me

) (cherry picked from commit 678e0b8) Co-authored-by: sobolevn <mail@sobolevn.me>
@hugovk
Copy link
Member

I pushed Ruff's lint+format fixes, which use target-version = "py310" (via .ruff.toml).

But Tools/wasm/mypy.ini has:

# Make sure the wasm can be run using Python 3.8:python_version = 3.8

So there's a mismatch.

Also Tools/wasm/mypy.ini was deleted in main (ee49644 and 14291fa) so shall we also delete it in these backports?

@brettcannon
Copy link
Member

I opted out of mypy for the WASI stuff, so that's a question for @freakboy3742 and @hoodmane .

Copy link
Contributor

@freakboy3742freakboy3742 left a comment

Choose a reason for hiding this comment

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

I haven't been systematically running mypy locally, so it's probably safer to leave off the Emscripten code for now.

@hugovkhugovk merged commit 5848d80 into python:3.14Oct 14, 2025
56 checks passed
@miss-islingtonmiss-islington deleted the backport-678e0b8-3.14 branch January 2, 2026 17:46
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@miss-islington@hugovk@brettcannon@freakboy3742@sobolevn