Skip to content

Upgrade to wasm-tools 220 and wit-bindgen 0.35 releases#9601

Merged
pchickey merged 9 commits intomainfrom
pch/wasm-tools-220
Nov 13, 2024
Merged

Upgrade to wasm-tools 220 and wit-bindgen 0.35 releases#9601
pchickey merged 9 commits intomainfrom
pch/wasm-tools-220

Conversation

@pchickey
Copy link
Copy Markdown
Contributor

@pchickey pchickey commented Nov 12, 2024

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.

@pchickey pchickey requested review from a team as code owners November 12, 2024 23:17
@pchickey pchickey requested review from alexcrichton and removed request for a team November 12, 2024 23:17
which uses wasm-tools 220, eliminating the duplicate deps in the lockfile.
@pchickey pchickey changed the title Upgrade to wasm-tools 220 release Upgrade to wasm-tools 220 and wit-bindgen 0.35 releases Nov 13, 2024
@pchickey pchickey enabled auto-merge November 13, 2024 18:11
@pchickey pchickey added this pull request to the merge queue Nov 13, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 13, 2024
@pchickey pchickey requested a review from a team as a code owner November 13, 2024 18:34
@github-actions github-actions bot added fuzzing Issues related to our fuzzing infrastructure wasmtime:api Related to the API of the `wasmtime` crate itself labels Nov 13, 2024
@github-actions
Copy link
Copy Markdown

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:

  • fitzgen: fuzzing

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

Learn more.

@pchickey pchickey added this pull request to the merge queue Nov 13, 2024
Merged via the queue into main with commit 0e6c711 Nov 13, 2024
@pchickey pchickey deleted the pch/wasm-tools-220 branch November 13, 2024 20:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fuzzing Issues related to our fuzzing infrastructure wasmtime:api Related to the API of the `wasmtime` crate itself

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants