Ignore threading leaks in MIRI

mvdnes · Oct 17, 2022 · 395fc70 · 395fc70
1 parent d69c844
commit 395fc70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -41,5 +41,5 @@ jobs:
  run: rustup toolchain install nightly --component miri && rustup default nightly
  - run: cargo miri test
  env:
- MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation
+ MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks
  RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout