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

Merge pull request #43 from dtolnay/miri

Browse Source 
Rename miri flag miri-track-raw-pointers -> miri-tag-raw-pointers
This commit is contained in:
David Tolnay
2021-12-10 23:14:47 -08:00
committed by GitHub
parent 023ac60e37 fc12a0a069
commit 503e511d1f
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