Show error details during miri setup in CI
Without this, if it fails, the only information printed is useless: Preparing a sysroot for Miri (target: x86_64-unknown-linux-gnu)... fatal error: failed to build sysroot; run `cargo miri setup` to see the error details
This commit is contained in:
parent
57fa3a3878
commit
97a5102fef
|
@ -54,6 +54,7 @@ jobs:
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v3
|
- uses: actions/checkout@v3
|
||||||
- uses: dtolnay/rust-toolchain@miri
|
- uses: dtolnay/rust-toolchain@miri
|
||||||
|
- run: cargo miri setup
|
||||||
- run: cargo miri test
|
- run: cargo miri test
|
||||||
env:
|
env:
|
||||||
MIRIFLAGS: -Zmiri-strict-provenance
|
MIRIFLAGS: -Zmiri-strict-provenance
|
||||||
|
|
Loading…
Reference in New Issue