Wasmtime GitHub notifications bot (Dec 13 2024 at 19:36): Wasmtime GitHub notifications bot (Dec 13 2024 at 19:36):alexcrichton opened PR #9816 from alexcrichton:pulley-no-miri-on-prs to bytecodealliance:main:
This hasn't actually turned up anything in quite some time and MIRI testing is relatively slow so by default don't test MIRI on Pulley PRs (it's of course still tested on the merge queue though)
<!--
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 (Dec 13 2024 at 19:36):alexcrichton requested abrown for a review on PR #9816.
Wasmtime GitHub notifications bot (Dec 13 2024 at 19:36):alexcrichton requested wasmtime-default-reviewers for a review on PR #9816.
Wasmtime GitHub notifications bot (Dec 13 2024 at 19:40):fitzgen submitted PR review.
Wasmtime GitHub notifications bot (Dec 13 2024 at 21:03):alexcrichton merged PR #9816.
Last updated: Dec 23 2024 at 12:05 UTC