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

Merge pull request #33 from pheki/remove-miri-setup

Browse Source 
Remove unneded setup instruction for miri
This commit is contained in:
David Tolnay
2020-10-01 22:35:18 -07:00
committed by GitHub
parent 9b9b50782c 1b67df1622
commit 2b3cdeb354
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
-1
View File
@@ -39,5 +39,4 @@ jobs:
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri
- run: cargo miri setup
- run: cargo miri test