Bug report

Bug description:

https://bytecodealliance.zulipchat.com/#narrow/stream/219900-wasi/topic/Is.20.60wasm32-wasi.60.20retired.20in.20preference.20for.20.60wasm32-wasip1.60.3F points out thatwasm32-wasi is soft deprecated in favour ofwasm32-wasip1 so thatwasm32-wasi can be claimed for WASI 1.0. As such, we should move over to making-wasip1 the target triple.

This will require#123042 as well as a version ofbrettcannon@2959f15 .

CPython versions tested on:

3.13

Operating systems tested on:

Other

Linked PRs

• GH-123877: default towasm32-wasip1 instead ofwasm32-wasi to be more specific #126552
• [3.13] GH-123877: makewasm32-wasip1 the target triple for WASI #126561