Stream: git-wasmtime

Topic: wasmtime / PR #9601 Upgrade to wasm-tools 220 and wit-bin...

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:09):

pchickey edited PR #9601.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:09):

pchickey edited PR #9601:

Bump release for wasm-tools. Fixed two minor changes to wit-parser and wast crates.

Then a bump release for wit-bindgen as well, based on the new wasm-tools, so we don't have duplicate wasm-tools in the lockfile.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:10):

pchickey updated PR #9601.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:10):

pchickey edited PR #9601:

Bump release for wasm-tools. Fixed two minor changes to wit-parser and wast crates.

Then a bump release for wit-bindgen as well, based on the new wasm-tools, so we don't have duplicate wasm-tools in the lockfile.

Incidentally, upgrade cargo-vet to 0.10 in CI.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:11):

pchickey has enabled auto merge for PR #9601.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:34):

pchickey updated PR #9601.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 18:34):

pchickey requested wasmtime-fuzz-reviewers for a review on PR #9601.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 13 2024 at 19:45):

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

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing", "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 (Nov 13 2024 at 20:33):

pchickey merged PR #9601.

Last updated: Nov 22 2024 at 17:03 UTC