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

Pull miri from miri branch of dtolnay/rust-toolchain

Browse Source
This commit is contained in:
David Tolnay
2022-04-24 15:46:05 -07:00
parent a7dc4acd32
commit 538c42d39c
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+1 -3
View File
@@ -40,9 +40,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri
- uses: dtolnay/rust-toolchain@miri
- run: cargo miri test
env:
MIRIFLAGS: '-Zmiri-tag-raw-pointers'