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

chore: Update wast #1845

Merged
merged 1 commit into from
Dec 3, 2020
Merged

chore: Update wast #1845

merged 1 commit into from
Dec 3, 2020

Conversation

Hywan
Copy link
Contributor

@Hywan Hywan commented Nov 26, 2020

Description

Closes #1816.
This PR updates wast to its latest version.

Review

  • [ ] Add a short description of the the change to the CHANGELOG.md file not necessary I guess

@Hywan Hywan added the 🎉 enhancement New feature! label Nov 26, 2020
@Hywan Hywan requested a review from MarkMcCaskey as a code owner November 26, 2020 15:43
@Hywan Hywan self-assigned this Nov 26, 2020
@Hywan
Copy link
Contributor Author

Hywan commented Nov 26, 2020

bors try

bors bot added a commit that referenced this pull request Nov 26, 2020
@bors
Copy link
Contributor

bors bot commented Nov 26, 2020

try

Build failed:

@jubianchi jubianchi added dependencies Pull requests that update a dependency file 1.0 Wasmer at 1.0 labels Nov 27, 2020
@jubianchi jubianchi self-assigned this Dec 1, 2020
@jubianchi
Copy link
Contributor

Just updated @Hywan's commit because, starting from 25.0 wast creates failures in our test suite.

LGTM and continue investigations in another issue/PR.

@syrusakbary
Copy link
Member

bors r+

bors bot added a commit that referenced this pull request Dec 2, 2020
1845: chore: Update `wast` r=syrusakbary a=Hywan

# Description

Closes #1816.
This PR updates `wast` to its latest version.

# Review

- ~[ ] Add a short description of the the change to the CHANGELOG.md file~ not necessary I guess


Co-authored-by: Ivan Enderlin <[email protected]>
@bors
Copy link
Contributor

bors bot commented Dec 2, 2020

Build failed:

@jubianchi
Copy link
Contributor

bors r+

bors bot added a commit that referenced this pull request Dec 2, 2020
1845: chore: Update `wast` r=jubianchi a=Hywan

# Description

Closes #1816.
This PR updates `wast` to its latest version.

# Review

- ~[ ] Add a short description of the the change to the CHANGELOG.md file~ not necessary I guess


Co-authored-by: Ivan Enderlin <[email protected]>
@bors
Copy link
Contributor

bors bot commented Dec 2, 2020

This PR was included in a batch that successfully built, but then failed to merge into master (it was a non-fast-forward update). It will be automatically retried.

@jubianchi
Copy link
Contributor

bors r+

@bors
Copy link
Contributor

bors bot commented Dec 3, 2020

@bors bors bot merged commit 35ece9c into wasmerio:master Dec 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1.0 Wasmer at 1.0 dependencies Pull requests that update a dependency file 🎉 enhancement New feature!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants