Stream: git-wasmtime

Topic: wasmtime / PR #4901 Backport #4891 to the 1.0.0 release b...


view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:44):

elliottt opened PR #4901 from trevor/backport-4891 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 (Sep 12 2022 at 19:44):

elliottt edited PR #4901 from trevor/backport-4891 to release-1.0.0.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:45):

elliottt edited PR #4901 from trevor/backport-4891 to release-1.0.0:

Back-port #4891 into the 1.0.0 release branch.

<!--

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 (Sep 12 2022 at 19:45):

elliottt requested alexcrichton for a review on PR #4901.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:47):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:52):

alexcrichton closed without merge PR #4901.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:52):

alexcrichton reopened PR #4901 from trevor/backport-4891 to release-1.0.0.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 20:48):

elliottt merged PR #4901.


Last updated: Nov 22 2024 at 16:03 UTC