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

chore(tooling): Use wasmer instead of wasmi #4261

Draft
wants to merge 3 commits into
base: master
Choose a base branch
from
Draft

chore(tooling): Use wasmer instead of wasmi #4261

wants to merge 3 commits into from
+216 −316

Conversation

ark0f
Copy link
Member

@ark0f ark0f commented Sep 26, 2024

Resolves #3214

@ark0f ark0f added A0-pleasereview PR is ready to be reviewed by the team D5-tooling Helper tools and utilities labels Sep 26, 2024
@ark0f ark0f changed the title refactor(tooling): Use wasmer instead of wasmi chore(tooling): Use wasmer instead of wasmi Sep 26, 2024
@breathx
Copy link
Member

breathx commented Sep 26, 2024

Seems that we need to publish our fork. So we could always depend on crates btw @ark0f @clearloop

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ByteNacked ByteNacked ByteNacked approved these changes

@breathx breathx breathx approved these changes

@clearloop clearloop Awaiting requested review from clearloop

@StackOverflowExcept1on StackOverflowExcept1on Awaiting requested review from StackOverflowExcept1on

Assignees
No one assigned
Labels
A0-pleasereview PR is ready to be reviewed by the team D5-tooling Helper tools and utilities
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Sync the version of wasmi
3 participants
@ark0f @breathx @ByteNacked