openharmony/third_party_rust_quote
1
0
Fork 0
mirror of https://gitee.com/openharmony/third_party_rust_quote synced 2024-11-27 01:11:38 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Use dtolnay/rust-toolchain's miri toolchain

Browse Source 
This defaults to components miri + rust-src.
This commit is contained in:
David Tolnay 2022-06-29 10:56:00 -07:00
parent 2a6da9b8c6
commit 8cf6d7b565
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -62,9 +62,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri, rust-src
- uses: dtolnay/rust-toolchain@miri
- run: cargo miri test
env:
MIRIFLAGS: -Zmiri-strict-provenance