krk commented on Issue #1231:
ping @abrown @bnjbvr @bjorn3
bnjbvr commented on Issue #1231:
I'm back from vacation, I'll try to take a look at it this week.
alexcrichton commented on Issue #1231:
Thanks for the PR again, and as a procedural note the Cranelift repository has now merged into the wasmtime repository.
PRs are no longer landing in this repository, and unfortunately there's no "one button" solution to move a PR to the wasmtime repository. A script has been prepared, however, to assist you in transferring this PR to the wasmtime repo. Feel free to reach out on Zulip with any questions!
krk commented on Issue #1231:
Sorry for abandoning this PR.
It seems that functionality is being added: https://github.com/bytecodealliance/wasmtime/pull/1223
Last updated: Dec 23 2024 at 14:03 UTC