diff --git a/.travis.yml b/.travis.yml
index 4bf81e43b..803283e27 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,11 +8,19 @@ before_install:
   - echo "deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-7 main"            | sudo tee -a /etc/apt/sources.list
   - echo "deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu trusty main" | sudo tee -a /etc/apt/sources.list
   - sudo apt-get update -qq
-  - sudo apt-get install llvm-7-dev gcc-8 --allow-unauthenticated -y
+  - sudo apt-get install llvm-7-dev gcc-8 gcc-arm-none-eabi --allow-unauthenticated -y
   - sudo ln -s /usr/bin/gcc-8 /usr/local/bin/cc # work around missing -no-pie in old GCC version
 
 install:
   - go get github.com/aykevl/go-llvm
   - go get golang.org/x/tools/go/ssa
 
-script: go test -v .
+script:
+  - go install github.com/aykevl/tinygo
+  - go test -v .
+  - make gen-device
+  - tinygo build -o blinky1.nrf.elf   -target=pca10040 examples/blinky1
+  - tinygo build -o blinky2.nrf.elf   -target=pca10040 examples/blinky2
+  - tinygo build -o test.nrf.elf      -target=pca10040 examples/test
+  - tinygo build -o blinky1.stm32.elf -target=bluepill examples/blinky1
+  - tinygo build -o blinky1.avr.o     -target=arduino  examples/blinky1 # TODO: avr-as/avr-gcc doesn't work