Skip to content
New issue

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

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

Already on GitHub? # to your account

Update to wasmtime 13 #14

Merged
merged 1 commit into from
Sep 22, 2023
Merged

Update to wasmtime 13 #14

merged 1 commit into from
Sep 22, 2023

Conversation

rylev
Copy link

@rylev rylev commented Sep 13, 2023

Marking this as a draft until we wasmtime 13 officially releases.

This uses this commit off of the release-13.0.0 branch. Once the release is officially made we can switch to the release version.

Signed-off-by: Ryan Levick <ryan.levick@fermyon.com>
@rylev rylev marked this pull request as ready for review September 21, 2023 07:58
Copy link
Collaborator

@lann lann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@rylev rylev merged commit 598cd22 into main Sep 22, 2023
@rylev rylev deleted the wasmtime13 branch September 22, 2023 07:43
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants