meta icon indicating copy to clipboard operation
meta copied to clipboard

Published 20 hours ago • verified publisher icon actions-rs

cargo miri

Open Ralith opened this issue 5 years ago • 3 comments

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.

Ralith avatar Dec 14 '19 17:12 Ralith

Rather than installing xargo, miri actually does provide a "set everything up for CI" command, cargo miri setup.

CAD97 avatar Mar 03 '20 03:03 CAD97

I'm looking to add miri to my GitHub ci and am wondering if anyone here can point to an example?

droundy avatar Feb 05 '22 05:02 droundy

https://github.com/Ralith/oddio/blob/main/.github/workflows/rust.yml

Ralith avatar Feb 05 '22 05:02 Ralith