mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-07-07 19:35:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

wasi: Update the location of the 'config.site' file in the build script (GH-133611)

Browse source 
Also remove Tools/wasm from mypy CI workflow
This commit is contained in:
Zachary Ware 2025-05-07 15:48:41 -05:00 • committed by GitHub
parent 74e2acddf6
commit 14291faa52
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/mypy.yml vendored
View file

@ -19,7 +19,6 @@ on:
- "Tools/jit/**"
- "Tools/peg_generator/**"
- "Tools/requirements-dev.txt"
- "Tools/wasm/**"
workflow_dispatch:
permissions:
@ -51,7 +50,6 @@ jobs:
"Tools/clinic",
"Tools/jit",
"Tools/peg_generator",
"Tools/wasm",
]
steps:
- uses: actions/checkout@v4

2
Tools/wasm/wasi/__main__.py
View file

@ -206,7 +206,7 @@ def configure_wasi_python(context, working_dir):
"https://github.com/WebAssembly/wasi-sdk and/or "
"specify via $WASI_SDK_PATH or --wasi-sdk")
config_site = os.fsdecode(CHECKOUT / "Tools" / "wasm" / "config.site-wasm32-wasi")
config_site = os.fsdecode(CHECKOUT / "Tools" / "wasm" / "wasi" / "config.site-wasm32-wasi")
wasi_build_dir = working_dir.relative_to(CHECKOUT)