diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-15 20:18:11 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-15 20:18:11 +0000 |
| commit | eba691a5f2ac42d6a50203f58632209a27ab9566 (patch) | |
| tree | 69488293ab75c55308991c10ea40efaf61b891e1 /.travis.yml | |
| parent | 31df3e2ca9cf6f343a90432002a66684506dd46e (diff) | |
| parent | e03c09874fd557126d8ae3d21e5b90681d358ef0 (diff) | |
Merge #111
111: some refactors r=japaric a=japaric
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index 09edbfe..2825a15 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,26 +4,23 @@ matrix: include: # NOTE used to build docs on successful merges to master - env: TARGET=x86_64-unknown-linux-gnu - rust: beta - env: TARGET=thumbv6m-none-eabi - 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 + 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 |