Stream: git-wasmtime

Topic: wasmtime / PR #4661 ISLE: Fix a bug with extractor ordering


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

elliottt opened PR #4661 from trevor/isle-ordering-fix to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

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

cfallin submitted PR review.

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

elliottt updated PR #4661 from trevor/isle-ordering-fix to main.

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

elliottt has marked PR #4661 as ready for review.

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

elliottt has enabled auto merge for PR #4661.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 09 2022 at 19:19):

elliottt merged PR #4661.


Last updated: Oct 23 2024 at 20:03 UTC