Stream: git-wasmtime

Topic: wasmtime / issue #6809 Bump Wasmtime to 13.0.0

Wasmtime GitHub notifications bot (Aug 05 2023 at 02:44):

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

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", "wasmtime:docs", "winch"

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

• cfallin: isle
• fitzgen: isle
• peterhuene: wasmtime:c-api
• saulecabrera: winch

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

Learn more.
</details>

Last updated: Nov 22 2024 at 17:03 UTC