Skip to content

Commit 545b5ab

Browse files
committed
Temporarily disable Miri weak memory emulation
1 parent 2aeac0f commit 545b5ab

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.github/workflows/ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,8 @@ jobs:
7777
- run: cargo miri test
7878
env:
7979
# -Zmiri-ignore-leaks is needed because we use detached threads in doctests
80-
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks
80+
# TODO: remove -Zmiri-disable-weak-memory-emulation once https://github.com/rust-lang/miri/issues/2223 fixed.
81+
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation -Zmiri-ignore-leaks
8182
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
8283

8384
security_audit:

0 commit comments

Comments
 (0)