Wasmtime GitHub notifications bot (Mar 21 2024 at 14:54): Wasmtime GitHub notifications bot (Mar 21 2024 at 14:54):alexcrichton opened PR #8205 from alexcrichton:bump-rust to bytecodealliance:main:
Coupled with today's release of 1.77.0. Today's release actually has some nice functions and such I think we'll want to use in Wasmtime but we'll need to wait 3 months to be able to use them.
<!--
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 (Mar 21 2024 at 14:54):alexcrichton requested abrown for a review on PR #8205.
Wasmtime GitHub notifications bot (Mar 21 2024 at 14:54):alexcrichton requested wasmtime-default-reviewers for a review on PR #8205.
Wasmtime GitHub notifications bot (Mar 21 2024 at 14:56):fitzgen submitted PR review.
Wasmtime GitHub notifications bot (Mar 21 2024 at 14:56):fitzgen has enabled auto merge for PR #8205.
Wasmtime GitHub notifications bot (Mar 21 2024 at 15:27):alexcrichton requested wasmtime-core-reviewers for a review on PR #8205.
Wasmtime GitHub notifications bot (Mar 21 2024 at 15:27):alexcrichton updated PR #8205.
Wasmtime GitHub notifications bot (Mar 21 2024 at 15:28):alexcrichton created PR review comment:
cc @devigned I had to add this as it's a new warning in rustc, and I'm not sure if this indicates a bug where this should have been used or if it should be removed.
Wasmtime GitHub notifications bot (Mar 21 2024 at 15:28):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Mar 21 2024 at 15:57):devigned submitted PR review.
Wasmtime GitHub notifications bot (Mar 21 2024 at 15:57):devigned created PR review comment:
Thank you for the heads up. I'll take a look.
Wasmtime GitHub notifications bot (Mar 21 2024 at 16:10):fitzgen merged PR #8205.
Last updated: Nov 22 2024 at 16:03 UTC