From ee960b3c7ff57f610c1294e3ac090dd65b05812d Mon Sep 17 00:00:00 2001 From: Zachary Ware Date: Wed, 7 May 2025 15:17:51 -0500 Subject: [PATCH 1/2] Update the location of the 'config.site' file --- Tools/wasm/wasi/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/wasm/wasi/__main__.py b/Tools/wasm/wasi/__main__.py index 5a6578a2d7a9be..6af9b5f12cb8e4 100644 --- a/Tools/wasm/wasi/__main__.py +++ b/Tools/wasm/wasi/__main__.py @@ -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) From dcf37bf687a11d68a4144e385b5c9da6c48ccb7a Mon Sep 17 00:00:00 2001 From: Zachary Ware Date: Wed, 7 May 2025 15:22:44 -0500 Subject: [PATCH 2/2] Remove Tools/wasm from mypy workflow --- .github/workflows/mypy.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index 908daaf3a6019a..4683848ab5e68d 100644 --- a/.github/workflows/mypy.yml +++ b/.github/workflows/mypy.yml @@ -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