Stream: wasmtime

Topic: merge permissions on wasmtime-py?


view this post on Zulip fitzgen (he/him) (Sep 21 2020 at 17:44):

Apparently I don't have merge permissions for wasmtime-py, but this PR LGTM: https://github.com/bytecodealliance/wasmtime-py/pull/45

When I first tried out the example in the README.md, I hit this TypeError exception: Traceback (most recent call last): File "ex.py", line 4, in <module> module = Module(store...

view this post on Zulip fitzgen (he/him) (Sep 21 2020 at 17:44):

so it would be nice if someone who did have perms merged it

view this post on Zulip Till Schneidereit (Sep 22 2020 at 17:23):

I see Alex merged the PR, but I now also gave wasmtime-core write permissions to the repo. One of these days we'll clean all of this up ...


Last updated: Nov 22 2024 at 16:03 UTC