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

Enable -Zmiri-strict-provenance

This commit is contained in:
Taiki Endo 2022-08-16 22:54:51 +09:00
parent 9f8fec9e6e
commit 8d8e25831b
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

@ -68,8 +68,7 @@ jobs:
- run: cargo miri test
env:
# -Zmiri-ignore-leaks is needed because we use detached threads in tests/docs: https://github.com/rust-lang/miri/issues/1371
# TODO: enable -Zmiri-strict-provenance once https://github.com/matklad/once_cell/pull/185 merged and released.
MIRIFLAGS: -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
security_audit: