Stream: git-wasmtime

Topic: wasmtime / PR #4115 Cherry-pick ISLE revert/bugfix onto r...

view this post on Zulip Wasmtime GitHub notifications bot (May 09 2022 at 17:09):

cfallin opened PR #4115 from backport-isle-revert-0.37 to release-0.37.0:

This PR cherry-picks #4102 onto the 0.37.0 branch, as the fix was made
just after the branch-point for 0.37.0.

The release would superficially work fine without this, as the checked-in
generated source (ISLE compiler output) is fine; but the compiler issue
would prevent anyone from using the cranelift-isle crate directly, or
making any other changes (including e.g. backported security fixes)
off of the release branch. Since it's a simple revert, this seems to be of
minimal risk for a backport.

view this post on Zulip Wasmtime GitHub notifications bot (May 09 2022 at 17:09):

cfallin requested fitzgen for a review on PR #4115.

view this post on Zulip Wasmtime GitHub notifications bot (May 09 2022 at 17:18):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 09 2022 at 17:31):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 09 2022 at 17:43):

cfallin merged PR #4115.

Last updated: Oct 23 2024 at 20:03 UTC