File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 77
77
- run : cargo miri test
78
78
env :
79
79
# -Zmiri-ignore-leaks is needed because we use detached threads in doctests
80
+ # disable preemption due to https://github.com/rust-lang/rust/issues/55005
80
81
# 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
82
+ MIRIFLAGS : -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
82
83
RUSTFLAGS : ${{ env.RUSTFLAGS }} -Z randomize-layout
83
84
84
85
security_audit :
You can’t perform that action at this time.
0 commit comments