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