This repository has been archived by the owner on Oct 13, 2023. It is now read-only.
cargo miri #24
Comments
|
Rather than installing xargo, miri actually does provide a "set everything up for CI" command, |
|
I'm looking to add miri to my GitHub ci and am wondering if anyone here can point to an example? |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
This is currently possible by installing the necessary components and first running
cargo install xargo, but caching would be particularly useful here as xargo has to be built and then miri needs everything (even std) compiled clean to suit itself.The text was updated successfully, but these errors were encountered: