document miri
and cargo-miri
in build.tools
Signed-off-by: onur-ozkan <work@onurozkan.dev>
This commit is contained in:
parent
0a8343c146
commit
0ce7705356
@ -337,6 +337,7 @@
|
||||
# "analysis",
|
||||
# "src",
|
||||
# "wasm-component-ld",
|
||||
# "miri", "cargo-miri" # for dev/nightly channels
|
||||
#]
|
||||
|
||||
# Verbosity level: 0 == not verbose, 1 == verbose, 2 == very verbose, 3 == print environment variables on each rustc invocation
|
||||
|
Loading…
Reference in New Issue
Block a user