Stream: git-wasmtime

Topic: wasmtime / PR #3213 Add automatic labeling for the `wasmt...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2021 at 16:57):

fitzgen opened PR #3213 from fitzgen-patch-1 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 19 2021 at 16:57):

fitzgen requested alexcrichton for a review on PR #3213.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2021 at 17:05):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2021 at 17:05):

alexcrichton merged PR #3213.


Last updated: Dec 23 2024 at 13:07 UTC