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
..
scripts	Add build and test of micro to pre-release testing (#1684)	2020-06-04 13:46:22 +01:00
docker.yml	Update docker workflow to push releases	2020-04-17 10:50:44 +01:00
micro-examples.yml	Build all micro/examples for release-X.X.X branches (#1683)	2020-06-04 09:32:17 +01:00
micro-main.yml	Add build and test of micro to pre-release testing (#1684)	2020-06-04 13:46:22 +01:00
pr.yml	Rename PR job (#1250)	2020-02-24 14:16:51 +00:00
tests.yml	Split PR and merge tests (#1249)	2020-02-24 14:11:17 +00:00