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

Temporarily disable Miri weak memory emulation

This commit is contained in:
Taiki Endo 2022-07-17 23:08:56 +09:00
parent 6670c38635
commit b634e5b654
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -67,7 +67,8 @@ 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
# TODO: remove -Zmiri-disable-weak-memory-emulation: https://github.com/smol-rs/concurrent-queue/pull/16#issuecomment-1186519851
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
security_audit: