Stream: git-wasmtime

Topic: wasmtime / PR #7933 Promote wasmtime-wasi::preview2 to ro...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 00:44):

pchickey edited PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 15:12):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 19:39):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 23:08):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 23:11):

sunfishcode submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 23:13):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 23:13):

pchickey has enabled auto merge for PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 23:42):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2024 at 23:42):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2024 at 00:28):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2024 at 00:29):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2024 at 02:44):

github-actions[bot] commented on PR #7933:

Subscribe to Label Action

cc @peterhuene

<details>
This issue or pull request has been labeled: "wasi", "wasmtime:c-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 (Feb 15 2024 at 05:49):

pchickey has enabled auto merge for PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 15 2024 at 05:57):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 20 2024 at 20:14):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 20 2024 at 23:30):

pchickey updated PR #7933.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 21 2024 at 00:45):

pchickey merged PR #7933.


Last updated: Dec 23 2024 at 12:05 UTC