diff options
| author | Taiki Endo <te316e89@gmail.com> | 2022-06-17 19:23:28 +0900 |
|---|---|---|
| committer | Taiki Endo <te316e89@gmail.com> | 2022-06-17 19:23:28 +0900 |
| commit | f943443b638f8929134c42fe55411961bc4308f9 (patch) | |
| tree | 86e32ccd38efe1282cdabfb08a95deb614c1af81 | |
| parent | 545b5ab2d07272474d3608e8684cce1bd97ad030 (diff) | |
| download | async-task-f943443b638f8929134c42fe55411961bc4308f9.tar.gz | |
Disable Miri preemption
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bd67742..9d2d7c4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -77,8 +77,9 @@ jobs: - run: cargo miri test 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 + MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0 RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout security_audit: |