mirror of
https://github.com/python/cpython.git
synced 2025-12-31 04:23:37 +00:00
[3.13] GH-120372: Switch to wasmtime 22 (GH-121523) (GH-121557)
GH-120372: Switch to wasmtime 22 (GH-121523)
Along the way, make the cache key in GitHub Actions for `config.cache` be more robust in the face of potential env var changes from `Tools/wasm/wasi.py`.
(cherry picked from commit 8020946814)
Co-authored-by: Brett Cannon <brett@python.org>
This commit is contained in:
parent
eae8fa1178
commit
20a6341324
2 changed files with 10 additions and 8 deletions
|
|
@ -6,7 +6,7 @@ ENV WASI_SDK_VERSION=21
|
|||
ENV WASI_SDK_PATH=/opt/wasi-sdk
|
||||
|
||||
ENV WASMTIME_HOME=/opt/wasmtime
|
||||
ENV WASMTIME_VERSION=18.0.3
|
||||
ENV WASMTIME_VERSION=22.0.0
|
||||
ENV WASMTIME_CPU_ARCH=x86_64
|
||||
|
||||
RUN dnf -y --nodocs --setopt=install_weak_deps=False install /usr/bin/{blurb,clang,curl,git,ln,tar,xz} 'dnf-command(builddep)' && \
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue