remove disable-weak-memory-emulation (#5469)

# Objective

- Fixes #5164
- Remove `miri-disable-weak-memory-emulation`
- Issue has been fixed in dependency
This commit is contained in:
François 2022-07-27 16:51:03 +00:00
parent c6a41cdd10
commit eed6843e84

View File

@ -93,9 +93,8 @@ jobs:
# https://github.com/rust-lang/miri#miri--z-flags-and-environment-variables # https://github.com/rust-lang/miri#miri--z-flags-and-environment-variables
# -Zmiri-disable-isolation is needed because our executor uses `fastrand` which accesses system time. # -Zmiri-disable-isolation is needed because our executor uses `fastrand` which accesses system time.
# -Zmiri-permissive-provenance disables warnings against int2ptr casts (since those are used by once_cell) # -Zmiri-permissive-provenance disables warnings against int2ptr casts (since those are used by once_cell)
# -Zmiri-disable-weak-memory-emulation works around https://github.com/bevyengine/bevy/issues/5164.
# -Zmiri-ignore-leaks is necessary because a bunch of tests don't join all threads before finishing. # -Zmiri-ignore-leaks is necessary because a bunch of tests don't join all threads before finishing.
MIRIFLAGS: -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-permissive-provenance -Zmiri-disable-weak-memory-emulation MIRIFLAGS: -Zmiri-ignore-leaks -Zmiri-disable-isolation -Zmiri-permissive-provenance
check-compiles: check-compiles:
runs-on: ubuntu-latest runs-on: ubuntu-latest