Stream: git-wasmtime

Topic: wasmtime / PR #13358 Tweak the `miri-wast.sh` script

Wasmtime GitHub notifications bot (May 13 2026 at 21:05):

fitzgen opened PR #13358 from fitzgen:tweak-miri-wast-script to bytecodealliance:main:

Just making it a little more robust and putting the miri-wast directory that it uses inside of target.

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

Wasmtime GitHub notifications bot (May 13 2026 at 21:05):

fitzgen requested alexcrichton for a review on PR #13358.

Wasmtime GitHub notifications bot (May 13 2026 at 21:19):

fitzgen requested wasmtime-default-reviewers for a review on PR #13358.

Wasmtime GitHub notifications bot (May 13 2026 at 22:32):

:thumbs_up: alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (May 13 2026 at 22:32):

alexcrichton added PR #13358 Tweak the miri-wast.sh script to the merge queue.

Wasmtime GitHub notifications bot (May 13 2026 at 22:55):

:check: alexcrichton merged PR #13358.

Wasmtime GitHub notifications bot (May 13 2026 at 22:55):

alexcrichton removed PR #13358 Tweak the miri-wast.sh script from the merge queue.

Last updated: Jun 01 2026 at 09:49 UTC