]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
[3.13] GH-120372: Switch to wasmtime 22 (GH-121523) (GH-121557)
authorMiss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Tue, 9 Jul 2024 22:27:29 +0000 (00:27 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2024 22:27:29 +0000 (22:27 +0000)
commit20a634132447972c6b05c6ea42815b01cbd25aea
tree809655d4bdd7dace1647a3d04b98022bfd2902cf
parenteae8fa1178b0c1e7d5718c416577ceeb4b05be76
[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 80209468144fbd1af5cd31f152a6631627a9acab)

Co-authored-by: Brett Cannon <brett@python.org>
.devcontainer/Dockerfile
.github/workflows/reusable-wasi.yml