Dominic Wong 695cc9d526 Build against micro and examples on pull requests (#1724) ... * Build against micro and examples on pull requests		2020-06-19 17:19:58 +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	Build against micro and examples on pull requests (#1724)	2020-06-19 17:19:58 +01:00