Skip to content

Commit

Permalink
Show error details during miri setup in CI
Browse files Browse the repository at this point in the history
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
  • Loading branch information
dtolnay committed May 23, 2023
1 parent 39aaeb0 commit 6735d4b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,7 @@ jobs:
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@miri
- run: cargo miri setup
- run: cargo miri test
env:
MIRIFLAGS: -Zmiri-strict-provenance
Expand Down

0 comments on commit 6735d4b

Please sign in to comment.