Skip to content

[3.13] gh-151929: Add pythoninfo commands to Tools/wasm/wasi.py (#152136) (#152224)#152226

Merged
vstinner merged 3 commits into
python:3.13from
vstinner:wasi_pythoninfo13
Jun 25, 2026
Merged

[3.13] gh-151929: Add pythoninfo commands to Tools/wasm/wasi.py (#152136) (#152224)#152226
vstinner merged 3 commits into
python:3.13from
vstinner:wasi_pythoninfo13

Conversation

@vstinner

@vstinner vstinner commented Jun 25, 2026

Copy link
Copy Markdown
Member

The "build" command now also runs "pythoninfo-build" and "pythoninfo-host" commands.

If no subcommand is provided, display the help.

GitHub Action "WASI":

  • Add "pythoninfo-build" and "pythoninfo-host" commands.
  • Remove unused and outdated CROSS_BUILD_PYTHON environment variable.

(cherry picked from commit 7c81637) (cherry picked from commit 6426887)

…python#152136) (python#152224)

The "build" command now also runs "pythoninfo-build" and
"pythoninfo-host" commands.

If no subcommand is provided, display the help.

GitHub Action "WASI":

* Add "pythoninfo-build" and "pythoninfo-host" commands.
* Remove unused and outdated CROSS_BUILD_PYTHON environment variable.

(cherry picked from commit 7c81637)
(cherry picked from commit 6426887)
@read-the-docs-community

read-the-docs-community Bot commented Jun 25, 2026

Copy link
Copy Markdown

@vstinner vstinner enabled auto-merge (squash) June 25, 2026 18:25
@vstinner vstinner merged commit d740050 into python:3.13 Jun 25, 2026
24 checks passed
@vstinner vstinner deleted the wasi_pythoninfo13 branch June 25, 2026 18:30
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.

1 participant