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.

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

2022 05 04 wasmer bump #1380

Merged
merged 16 commits into from Jun 13, 2022
Merged

2022 05 04 wasmer bump #1380

merged 16 commits into from Jun 13, 2022

Conversation

thedavidmeister
Copy link
Contributor

@thedavidmeister thedavidmeister commented May 7, 2022

Summary

TODO:

  • CHANGELOG(s) updated with appropriate info
  • Just before pressing the merge button, ensure new entries to CHANGELOG(s) are still under the UNRELEASED heading

Copy link
Contributor

@freesig freesig left a comment

Choose a reason for hiding this comment

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

Looks good. Not sure what wasm_error! Is actually doing

Copy link
Member

@maackle maackle left a comment

Choose a reason for hiding this comment

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

Cool. Looks like mostly error handling. Anything worth mentioning in the CHANGELOG?

@thedavidmeister thedavidmeister added the hdk Involves changes to the HDK label Jun 7, 2022
@thedavidmeister thedavidmeister merged commit 02e2393 into develop Jun 13, 2022
@thedavidmeister thedavidmeister deleted the 2022-05-04-wasmer-bump branch June 13, 2022 18:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
hdk Involves changes to the HDK
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants