Stream: git-wasmtime

Topic: wasmtime / issue #3231 Move wasm data sections out of was...

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2021 at 22:55):

alexcrichton commented on issue #3231:

Oh dear I completely forgot to actually implement the bits for uffd, that'll require some more plumbing I'll implement tomorrow.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2021 at 23:08):

github-actions[bot] commented on issue #3231:

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "wasmtime:api"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2021 at 14:01):

alexcrichton commented on issue #3231:

Ok should be green now!

Last updated: Nov 22 2024 at 16:03 UTC