Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update wasmtime #86

Merged
merged 2 commits into from
Jul 25, 2023
Merged

Update wasmtime #86

merged 2 commits into from
Jul 25, 2023

Conversation

sporkmonger
Copy link
Contributor

Updates wasmtime to version 11 and fixes the issue with wasmtime's broken adapter file. We were previously downloading it from the releases page at build time, but since we've now run into a breakage case, the file is getting vendored instead.

@sporkmonger sporkmonger added size/small Denotes a PR that changes 10-29 lines, ignoring generated files. kind/cleanup Categorizes issue or PR as related to cleaning up code, process, or technical debt. dependencies Pull requests that update a dependency file. labels Jul 25, 2023
@sporkmonger sporkmonger requested a review from malizz July 25, 2023 20:35
@sporkmonger sporkmonger mentioned this pull request Jul 25, 2023
Open
@sporkmonger sporkmonger merged commit d7a6415 into main Jul 25, 2023
4 checks passed
@sporkmonger sporkmonger deleted the update-wasmtime branch July 25, 2023 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@malizz malizz malizz approved these changes

Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file. kind/cleanup Categorizes issue or PR as related to cleaning up code, process, or technical debt. size/small Denotes a PR that changes 10-29 lines, ignoring generated files.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sporkmonger @malizz