Stream: git-wasmtime

Topic: wasmtime / PR #7104 Remove usage of `is-terminal` and `at...


view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:04):

alexcrichton opened PR #7104 from alexcrichton:simplify-is-terminal to bytecodealliance:main:

This functionality is now folded into the standard library itself.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:04):

alexcrichton requested fitzgen for a review on PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:04):

alexcrichton requested wasmtime-core-reviewers for a review on PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:04):

alexcrichton requested wasmtime-default-reviewers for a review on PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:07):

alexcrichton updated PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:28):

pchickey submitted PR review:

Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2023 at 19:28):

pchickey has enabled auto merge for PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 29 2023 at 14:09):

alexcrichton updated PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 29 2023 at 14:09):

alexcrichton has enabled auto merge for PR #7104.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 29 2023 at 15:31):

alexcrichton merged PR #7104.


Last updated: Nov 22 2024 at 16:03 UTC