mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add snippet for running Miri on CI

Browse Source
This commit is contained in:
Ralf Jung 2019-06-25 10:05:34 +02:00
parent 2bd22c03eb
commit 7a6438ada6
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
README.md
View File

@ -94,6 +94,24 @@ fn does_not_work_on_miri() {
}
```
### Running Miri on CI
To run Miri on CI, make sure that you handle the case where the latest nightly
does not ship the Miri component because it currently does not build. For
example, you can use the following snippet to always test with the latest
nightly that *does* come with Miri:
```sh
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 default "$MIRI_NIGHTLY"
rustup component add miri
cargo miri setup
cargo miri test -- -- -Zunstable-options --exclude-should-panic
```
### Common Problems
When using the above instructions, you may encounter a number of confusing compiler