michael/itoa
michael
/
itoa
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Track raw pointers in miri CI run

This commit is contained in:
David Tolnay 2021-12-11 00:04:28 -08:00
parent f1a3a6faf3
commit 96eef6ef6e
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -53,6 +53,8 @@ jobs:
with:
components: miri
- run: cargo miri test
env:
MIRIFLAGS: "-Zmiri-tag-raw-pointers"
clippy:
name: Clippy