FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

[3.13] gh-151929: Add pythoninfo commands to Tools/wasm/wasi.py (#152136) (#152224) by vstinner · Pull Request #152226 · python/cpython · GitHub

/ cpython Public

[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 commented Jun 25, 2026
edited by bedevere-app Bot
Loading

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 Bot commented Jun 25, 2026
edited
Loading

Copy link
Copy Markdown

vstinner enabled auto-merge (squash) June 25, 2026 18:25
vstinner merged commit d740050 into python:3.13 Jun 25, 2026
24 checks passed
vstinner deleted the wasi_pythoninfo13 branch June 25, 2026 18:30
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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


Back | FazBrowse Home | New Git URL