diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/script.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/script.sh b/ci/script.sh index 9cb03fc..78341e1 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -37,10 +37,13 @@ main() { mkdir -p ci/builds if [ $T = x86_64-unknown-linux-gnu ]; then - if [ $TRAVIS_RUST_VERSION = nightly ]; then + if [[ $TRAVIS_RUST_VERSION == 1.*.* ]]; then + # test on a fixed version (MSRV) to avoid problems with changes in rustc diagnostics # compile-fail tests cargo test --test single --target $T + fi + if [ $TRAVIS_RUST_VERSION = nightly ]; then # multi-core compile-pass tests pushd heterogeneous local exs=( |