GH-140475: Support WASI SDK 25 (#140477)

As well, bump the version of Wasmtime used in CI.
This commit is contained in:
Brett Cannon 2025-10-22 14:34:37 -07:00 committed by GitHub
parent b3b0d75069
commit e5f4299f13
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 4 additions and 3 deletions

View file

@ -16,8 +16,8 @@ jobs:
runs-on: ubuntu-24.04 runs-on: ubuntu-24.04
timeout-minutes: 60 timeout-minutes: 60
env: env:
WASMTIME_VERSION: 22.0.0 WASMTIME_VERSION: 38.0.2
WASI_SDK_VERSION: 24 WASI_SDK_VERSION: 25
WASI_SDK_PATH: /opt/wasi-sdk WASI_SDK_PATH: /opt/wasi-sdk
CROSS_BUILD_PYTHON: cross-build/build CROSS_BUILD_PYTHON: cross-build/build
CROSS_BUILD_WASI: cross-build/wasm32-wasip1 CROSS_BUILD_WASI: cross-build/wasm32-wasip1

View file

@ -0,0 +1 @@
Support WASI SDK 25.

View file

@ -31,7 +31,7 @@
b"# Required to statically build extension modules." b"# Required to statically build extension modules."
) )
WASI_SDK_VERSION = 24 WASI_SDK_VERSION = 25
WASMTIME_VAR_NAME = "WASMTIME" WASMTIME_VAR_NAME = "WASMTIME"
WASMTIME_HOST_RUNNER_VAR = f"{{{WASMTIME_VAR_NAME}}}" WASMTIME_HOST_RUNNER_VAR = f"{{{WASMTIME_VAR_NAME}}}"