Skip to content

do not build cargo-miri by default on stable channel - #129243

Merged
bors merged 2 commits into
rust-lang:masterfrom
onur-ozkan:stuff
Aug 23, 2024
Merged

do not build cargo-miri by default on stable channel#129243
bors merged 2 commits into
rust-lang:masterfrom
onur-ozkan:stuff

document `miri` and `cargo-miri` in `build.tools`

0ce7705
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs