Skip to content

Commit 4e97063

Browse files
committed
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
1 parent 9aa5c63 commit 4e97063

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.github/workflows/ci.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -151,6 +151,7 @@ jobs:
151151
steps:
152152
- uses: actions/checkout@v3
153153
- uses: dtolnay/rust-toolchain@miri
154+
- run: cargo miri setup
154155
- run: cargo miri test --all-features
155156
env:
156157
MIRIFLAGS: -Zmiri-strict-provenance

0 commit comments

Comments
 (0)