Skip to content
This repository was archived by the owner on Mar 25, 2024. It is now read-only.

Commit 147103c

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 622553f commit 147103c

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/ci.yml

+1
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@ jobs:
5656
steps:
5757
- uses: actions/checkout@v3
5858
- uses: dtolnay/rust-toolchain@miri
59+
- run: cargo miri setup
5960
- run: cargo miri test
6061
env:
6162
MIRIFLAGS: -Zmiri-strict-provenance

0 commit comments

Comments
 (0)