diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-03 16:31:11 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-03 16:31:11 +0000 |
| commit | 777765e522949ebf84d05d4db075132172d81494 (patch) | |
| tree | 41bc00739da8f832eb5ba68ef99ec8b9d06111a4 /.travis.yml | |
| parent | 653338e7997a0cdc5deaed98b1bb5f60006717ed (diff) | |
| parent | 3a867e70c3b1afc4943ec597e4f188432fba5a8b (diff) | |
Merge #97
97: v0.4.0 r=japaric a=japaric
closes #32
closes #33
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 30 |
1 files changed, 20 insertions, 10 deletions
diff --git a/.travis.yml b/.travis.yml index 1d6f3ab..09edbfe 100644 --- a/.travis.yml +++ b/.travis.yml @@ -2,38 +2,48 @@ language: rust matrix: include: + # NOTE used to build docs on successful merges to master - env: TARGET=x86_64-unknown-linux-gnu - rust: nightly + rust: beta - env: TARGET=thumbv6m-none-eabi - rust: nightly - if: branch != master + rust: beta + if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) - env: TARGET=thumbv7m-none-eabi + rust: beta + if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) + + - env: TARGET=x86_64-unknown-linux-gnu rust: nightly - if: branch != master + if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) - - env: TARGET=thumbv7em-none-eabi + - env: TARGET=thumbv6m-none-eabi rust: nightly - if: branch != master + if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) - - env: TARGET=thumbv7em-none-eabihf + - env: TARGET=thumbv7m-none-eabi rust: nightly - if: branch != master + if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master) before_install: set -e install: - bash ci/install.sh - - export PATH="$PATH:$PWD/gcc/bin" + - export PATH="$PATH:$PWD/qemu" script: - bash ci/script.sh +after_script: set +e + after_success: - bash ci/after-success.sh -after_script: set +e +cache: cache + +before_cache: + - chmod -R a+r $HOME/.cargo; branches: only: |