openharmony/third_party_rust_ryu
1
0
Fork 0
mirror of https://github.com/openharmony/third_party_rust_ryu.git synced 2026-07-01 23:26:00 -04:00
Code Issues Packages Projects Releases Wiki Activity

Rename miri flag miri-track-raw-pointers -> miri-tag-raw-pointers

Browse Source
This commit is contained in:
David Tolnay
2021-12-10 23:08:57 -08:00
parent 023ac60e37
commit fc12a0a069
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
@@ -42,7 +42,7 @@ jobs:
components: miri
- run: cargo miri test
env:
MIRIFLAGS: "-Zmiri-track-raw-pointers"
MIRIFLAGS: "-Zmiri-tag-raw-pointers"
clippy:
name: Clippy