Add Portenta boards to Compile Examples CI workflow#183

Merged

aentinger merged 2 commits intoarduino-libraries:masterfrom

per1234:portenta-ci

Jul 28, 2020

Commits on Jul 28, 2020

Add Portenta boards to Compile Examples CI workflow
per1234
committed
Use version of Arduino mbed-Enabled Boards from tip of default branch of ArduinoCore-mbed repository
per1234
committed