smol-rs
/
async-task
mirror of https://github.com/smol-rs/async-task
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Revert "Temporarily disable Miri weak memory emulation" 

This reverts commit 545b5ab2d0.
This commit is contained in:
Taiki Endo 2022-06-23 23:16:51 +09:00
parent f943443b63
commit 8a886c252a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/ci.yml vendored
View File

@ -78,8 +78,7 @@ jobs:
env:
# -Zmiri-ignore-leaks is needed because we use detached threads in doctests
# disable preemption due to https://github.com/rust-lang/rust/issues/55005
# TODO: remove -Zmiri-disable-weak-memory-emulation once https://github.com/rust-lang/miri/issues/2223 fixed.
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
security_audit: