Skip to content

Conversation

@brettcannon
Copy link
Member

@brettcannon brettcannon commented Oct 29, 2025

@brettcannon
Copy link
Member Author

All the pertinent checks passed, but it still got flagged as failing (I think some CI tests got cancelled by GitHub for some reason).

Copy link
Member

@emmatyping emmatyping left a comment

Choose a reason for hiding this comment

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

This looks good. The only question I have is should we warn if the version file is not present since that implies the version is <25?

@brettcannon
Copy link
Member Author

This looks good. The only question I have is should we warn if the version file is not present since that implies the version is <25?

Technically we could (and I originally did), but I also didn't want to care if for some reason someone deleted the file. Basically it seemed marginal enough of a possibility I didn't want to add even more logic.

@brettcannon brettcannon merged commit 95a3564 into python:main Oct 30, 2025
50 checks passed
@brettcannon brettcannon deleted the warn-if-wasi-sdk-does-not-match branch October 30, 2025 16:32
@miss-islington-app
Copy link

Thanks @brettcannon for the PR 🌮🎉.. I'm working now to backport this PR to: 3.14.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Oct 30, 2025
…ported version (pythonGH-140769)

(cherry picked from commit 95a3564)

Co-authored-by: Brett Cannon <brett@python.org>
@bedevere-app
Copy link

bedevere-app bot commented Oct 30, 2025

GH-140801 is a backport of this pull request to the 3.14 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.14 bugs and security fixes label Oct 30, 2025
brettcannon added a commit that referenced this pull request Oct 30, 2025
…pported version (GH-140769) (GH-140801)

GH-140768: Warn when the WASI SDK version doesn't match the supported version (GH-140769)
(cherry picked from commit 95a3564)

Co-authored-by: Brett Cannon <brett@python.org>
Sign up for free to 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.

3 participants