openharmony/third_party_rust_ryu
1
0
Fork 0
mirror of https://github.com/openharmony/third_party_rust_ryu.git synced 2026-07-19 11:06:16 -04:00
Code Issues Packages Projects Releases Wiki Activity

Test miri on latest nightly with a miri

Browse Source
This commit is contained in:
David Tolnay
2020-04-23 02:57:38 -07:00
parent dd5368bb7f
commit 58b49b5bda
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.travis.yml
+8 -4
View File
@@ -16,9 +16,13 @@ matrix:
script:
- cargo build
- cargo build --features small
- rust: nightly
name: Miri
script:
- rustup component add miri || travis_terminate 0
- name: Miri
install:
- MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
- echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
- rustup set profile minimal
- rustup default "$MIRI_NIGHTLY"
- rustup component add miri
- cargo miri setup
script:
- cargo miri test