diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-12-15 21:17:14 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-12-15 21:17:14 +0100 |
| commit | e03c09874fd557126d8ae3d21e5b90681d358ef0 (patch) | |
| tree | 69488293ab75c55308991c10ea40efaf61b891e1 /.travis.yml | |
| parent | d14e25d72d7b182d305c0f9ee80294c697c42dee (diff) | |
ci: switch to an older nightly
to work around rust-lang/rust#56814
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 481f8fe..2825a15 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,15 +12,15 @@ matrix: if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) - env: TARGET=x86_64-unknown-linux-gnu - rust: nightly + rust: nightly-2018-12-06 if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) - env: TARGET=thumbv6m-none-eabi - rust: nightly + rust: nightly-2018-12-06 if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) - env: TARGET=thumbv7m-none-eabi - rust: nightly + rust: nightly-2018-12-06 if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) before_install: set -e |