Stream: git-wasmtime

Topic: wasmtime / issue #6761 Release Wasmtime 11.0.1


view this post on Zulip Wasmtime GitHub notifications bot (Jul 21 2023 at 23:54):

alexcrichton commented on issue #6761:

I meant to do this earlier today but didn't see the CI failure until now. I'll wokr on merging this on Monday.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 22 2023 at 02:46):

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

Subscribe to Label Action

cc @cfallin, @fitzgen, @peterhuene, @saulecabrera

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:meta", "cranelift:module", "cranelift:wasm", "isle", "wasmtime:c-api", "winch"

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>


Last updated: Dec 23 2024 at 13:07 UTC