Dominic Wong e5136332e3 Add build and test of micro to pre-release testing (#1684) ...

* fix up example test build

* build and test micro when cutting a new release

2020-06-12 10:42:52 +01:00

..

build-all-examples.sh

Add build and test of micro to pre-release testing (#1684)

2020-06-12 10:42:52 +01:00

build-micro.sh

Add build and test of micro to pre-release testing (#1684)

2020-06-12 10:42:52 +01:00