Stream: git-wasmtime

Topic: wasmtime / PR #1374 [wasi-common] Fix a warning about unr...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 22:24):

sunfishcode opened PR #1374 from exit-unreachable to master:

exit doesn't return, so code after it is unreachable.

<!--

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 (Mar 20 2020 at 22:24):

sunfishcode requested kubkon for a review on PR #1374.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 22:54):

peterhuene submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 20 2020 at 23:28):

sunfishcode merged PR #1374.


Last updated: Dec 23 2024 at 12:05 UTC