user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Adjust travis to the directory changes

Browse source
This commit is contained in:
Oliver Schneider 2017-07-28 13:49:04 +02:00
parent f16b9e280b
commit 4383fc2e27
No known key found for this signature in database
GPG key ID: A69F8D225B3AD7D9
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.travis.yml
View file

@ -15,10 +15,9 @@ script:
xargo/build.sh
- |
# Test plain miri
cd miri/ && cargo build &&
cargo build &&
cargo test &&
cargo install &&
cd ..
cargo install
- |
# Test cargo miri
cd cargo-miri-test &&
@ -27,7 +26,7 @@ script:
cd ..
- |
# and run all tests with full mir
cd miri/ && MIRI_SYSROOT=~/.xargo/HOST cargo test && cd ..
MIRI_SYSROOT=~/.xargo/HOST cargo test
notifications:
email:
on_success: never