aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2019-07-11 13:12:39 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2019-07-11 13:12:39 +0200
commit6a8404ac92a7d4a57188e962862c450be9b9b31a (patch)
tree2cc85006638b7389f15344a7eed5c42630266f36
parentfb84029beef9bec3c205583296b181023f2e4b6b (diff)
downloadrtic-6a8404ac92a7d4a57188e962862c450be9b9b31a.tar.gz
rtic-6a8404ac92a7d4a57188e962862c450be9b9b31a.tar.zst
rtic-6a8404ac92a7d4a57188e962862c450be9b9b31a.zip
travis: enable stable builds
Diffstat (limited to '')
-rw-r--r--.travis.yml12
1 files changed, 6 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml
index 2c5fc7e6..31d10e84 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -3,17 +3,17 @@ language: rust
matrix:
include:
# NOTE used to build docs on successful merges to master
- # - env: TARGET=x86_64-unknown-linux-gnu
+ - env: TARGET=x86_64-unknown-linux-gnu
- # - env: TARGET=thumbv6m-none-eabi
- # if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master)
+ - env: TARGET=thumbv6m-none-eabi
+ if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master)
- # - env: TARGET=thumbv7m-none-eabi
- # if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master)
+ - env: TARGET=thumbv7m-none-eabi
+ if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master)
- env: TARGET=x86_64-unknown-linux-gnu
rust: nightly
- # if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master)
+ if: (branch = staging OR branch = trying) OR (type = pull_request AND branch = master)
- env: TARGET=thumbv6m-none-eabi
rust: nightly