search

actions-rs / meta

🦀 GitHub Actions for Rust - recipes, discussions, questions and ideas
https://github.com/actions-rs
Creative Commons Zero v1.0 Universal
353 stars 15 forks source link

cargo miri #24

Open Ralith opened 4 years ago

Ralith commented 4 years ago

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.

CAD97 commented 4 years ago

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

droundy commented 2 years ago

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

Ralith commented 2 years ago

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