Wasmtime GitHub notifications bot (Apr 14 2026 at 17:29): Wasmtime GitHub notifications bot (Apr 14 2026 at 17:29):fitzgen opened PR #13094 from bytecodealliance:ci/just-let-me-make-a-pr to bytecodealliance:main:
This is a temporary directory created by the
ci/miri-wast.shscript.<!--
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.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
Wasmtime GitHub notifications bot (Apr 14 2026 at 17:29):fitzgen requested alexcrichton for a review on PR #13094.
Wasmtime GitHub notifications bot (Apr 14 2026 at 17:29):fitzgen requested wasmtime-default-reviewers for a review on PR #13094.
Wasmtime GitHub notifications bot (Apr 14 2026 at 18:27):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Apr 14 2026 at 18:27):alexcrichton added PR #13094 Add miri-wast directory to .gitignore to the merge queue
Wasmtime GitHub notifications bot (Apr 14 2026 at 18:51):alexcrichton removed PR #13094 Add miri-wast directory to .gitignore from the merge queue
Wasmtime GitHub notifications bot (Apr 14 2026 at 18:51):alexcrichton merged PR #13094.
Last updated: May 03 2026 at 22:13 UTC