Skip to content

Commit 8a886c2

Browse files
committed
Revert "Temporarily disable Miri weak memory emulation"
This reverts commit 545b5ab.
1 parent f943443 commit 8a886c2

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -78,8 +78,7 @@ jobs:
7878
env:
7979
# -Zmiri-ignore-leaks is needed because we use detached threads in doctests
8080
# disable preemption due to https://github.com/rust-lang/rust/issues/55005
81-
# TODO: remove -Zmiri-disable-weak-memory-emulation once https://github.com/rust-lang/miri/issues/2223 fixed.
82-
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
81+
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
8382
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
8483

8584
security_audit:

0 commit comments

Comments
 (0)