Wasmtime GitHub notifications bot (Feb 28 2024 at 17:42): Wasmtime GitHub notifications bot (Feb 28 2024 at 17:42):pchickey opened PR #8014 from bytecodealliance:pch/update_capstone to bytecodealliance:main:
this is only used for benchmarking, so the cargo vet is just an exemption which I updated to the latest version.
Closes https://github.com/bytecodealliance/wasmtime/issues/8009
<!--
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 (Feb 28 2024 at 17:42):pchickey requested alexcrichton for a review on PR #8014.
Wasmtime GitHub notifications bot (Feb 28 2024 at 17:42):pchickey requested wasmtime-default-reviewers for a review on PR #8014.
Wasmtime GitHub notifications bot (Feb 28 2024 at 17:43):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Feb 28 2024 at 17:45):pchickey has enabled auto merge for PR #8014.
Wasmtime GitHub notifications bot (Mar 01 2024 at 19:01):alexcrichton commented on PR #8014:
@pchickey this may have gotten lost in the email but looks like CI is failing here due to some bindings needing an update
Wasmtime GitHub notifications bot (Mar 01 2024 at 19:10):pchickey requested fitzgen for a review on PR #8014.
Wasmtime GitHub notifications bot (Mar 01 2024 at 19:10):pchickey updated PR #8014.
Wasmtime GitHub notifications bot (Mar 01 2024 at 19:10):pchickey requested wasmtime-compiler-reviewers for a review on PR #8014.
Wasmtime GitHub notifications bot (Mar 01 2024 at 19:30):pchickey commented on PR #8014:
Thanks this fell off my notifs but it was trivial to fix.
Wasmtime GitHub notifications bot (Mar 01 2024 at 19:53):pchickey merged PR #8014.
Last updated: Oct 23 2024 at 20:03 UTC