Dominic Wong 582f2e8b94

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-04 13:46:22 +01:00

..

build-all-examples.sh

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

2020-06-04 13:46:22 +01:00

build-micro.sh

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

2020-06-04 13:46:22 +01:00