openharmony/third_party_rust_slab
1
0
Fork 0
mirror of https://github.com/openharmony/third_party_rust_slab.git synced 2026-06-30 20:47:55 -04:00
Code Issues Packages Projects Releases Wiki Activity

Update MIRIFLAGS

Browse Source
This commit is contained in:
Taiki Endo
2022-07-09 15:38:24 +09:00
parent bb581d7baa
commit 3af169a8fb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+1 -1
View File
@@ -61,7 +61,7 @@ jobs:
run: rustup toolchain install nightly --component miri && rustup default nightly
- run: cargo miri test --workspace --all-features
env:
MIRIFLAGS: -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers -Zmiri-disable-isolation
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation
RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout
clippy: