Stream: git-wasmtime

Topic: wasmtime / PR #10354 chore: remove redundant words in com...

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:26):

NinaLua opened PR #10354 from NinaLua:main to bytecodealliance:main:

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

• If this work has been discussed elsewhere, please include a link to that
  conversation. If it was discussed in an issue, just mention "issue #...".

• Explain why this change is needed. If the details are in an issue already,
  this can be brief.

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
-->

remove redundant words in comment

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:26):

NinaLua requested abrown for a review on PR #10354.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:26):

NinaLua requested wasmtime-compiler-reviewers for a review on PR #10354.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:26):

NinaLua requested wasmtime-core-reviewers for a review on PR #10354.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:26):

NinaLua requested pchickey for a review on PR #10354.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:39):

saulecabrera submitted PR review:

LGTM, one minor thing that needs fixing. Not introduced by your changes, but might as well fix it while we are at it.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:39):

saulecabrera created PR review comment:

    /// integer at the top of the stack, on the 128-bit vector specified by the second value

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:41):

NinaLua updated PR #10354.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:41):

NinaLua created PR review comment:

Thanks! Modified.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:41):

NinaLua submitted PR review.

Wasmtime GitHub notifications bot (Mar 07 2025 at 12:58):

saulecabrera submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Mar 07 2025 at 13:19):

saulecabrera merged PR #10354.

Last updated: Apr 18 2025 at 21:03 UTC