Skip to content

Commit 7ca44e7

Browse files
committed
Test Miri on CI
1 parent 4b8715e commit 7ca44e7

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.github/workflows/main.yml

+2-1
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
with:
4848
submodules: true
4949
- name: Install Rust (rustup)
50-
run: rustup update ${{ matrix.rust }} --no-self-update && rustup default ${{ matrix.rust }}
50+
run: rustup update ${{ matrix.rust }} --no-self-update && rustup default ${{ matrix.rust }} && rustup component add miri
5151
shell: bash
5252
# full fidelity of backtraces on 32-bit msvc requires frame pointers, so
5353
# enable that for our tests
@@ -83,6 +83,7 @@ jobs:
8383
- run: RUSTFLAGS="-C link-arg=-Wl,--compress-debug-sections=zlib-gnu" cargo test --features gimli-symbolize
8484
if: contains(matrix.os, 'ubuntu')
8585
- run: cargo build --manifest-path crates/as-if-std/Cargo.toml
86+
- run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test
8687

8788
windows_arm64:
8889
name: Windows AArch64

0 commit comments

Comments
 (0)