jrandolf edited PR #14875.
github-actions[bot] added the label wasi on PR #14875.
github-actions[bot] added the label wasmtime:api on PR #14875.
rvolosatovs requested alexcrichton for a review on PR #14875.
alexcrichton commented on PR #14875:
I'm personally a bit dubious of the utility of this, and given that the primary motivation, https://github.com/bytecodealliance/wasmtime/pull/14916, is also something I'm a bit dubious of like Pat, I'm going to hold off on this until https://github.com/bytecodealliance/wasmtime/pull/14916 is decided on. Otherwise though do you have other motivations for this?
:cross_mark: jrandolf closed without merge PR #14875.
Last updated: Oct 31 2026 at 23:03 UTC