diff options
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index deb4a9254..5460bf601 100644 --- a/.travis.yml +++ b/.travis.yml @@ -296,7 +296,9 @@ jobs: - arm-none-eabi-gcc --version script: - make ${MAKEOPTS} -C ports/nrf submodules - - make ${MAKEOPTS} -C ports/nrf + - make ${MAKEOPTS} -C ports/nrf BOARD=pca10040 + - make ${MAKEOPTS} -C ports/nrf BOARD=microbit + - make ${MAKEOPTS} -C ports/nrf BOARD=pca10056 # bare-arm and minimal ports, with size-diff check - stage: test |