Stream: git-wasmtime

Topic: wasmtime / Issue #1910 Factor Wiggle's wasmtime integrati...


view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2020 at 02:40):

pchickey commented on Issue #1910:

Still TODO:

view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2020 at 02:55):

github-actions[bot] commented on Issue #1910:

Subscribe to Label Action

cc @kubkon

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

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 (Jun 23 2020 at 23:29):

pchickey edited a comment on Issue #1910:

Still TODO:

view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2020 at 23:29):

pchickey edited a comment on Issue #1910:

Still TODO:

view this post on Zulip Wasmtime GitHub notifications bot (Jun 24 2020 at 21:00):

pchickey edited a comment on Issue #1910:

Still TODO:

view this post on Zulip Wasmtime GitHub notifications bot (Jun 24 2020 at 22:27):

pchickey commented on Issue #1910:

TODO:

view this post on Zulip Wasmtime GitHub notifications bot (Jun 25 2020 at 16:34):

pchickey commented on Issue #1910:

I'm going to take care of those remaining TODOs in a follow-up PR, the testing story presently is that wasi-common works correctly according to CI, so this is correct enough for its previous use case.


Last updated: Dec 23 2024 at 12:05 UTC