Update Portenta platform in Compile Examples CI workflow#43
Merged
per1234 merged 1 commit intoarduino-libraries:masterfrom Oct 19, 2020
per1234:update-portenta-platform-name
Merged
Update Portenta platform in Compile Examples CI workflow#43per1234 merged 1 commit intoarduino-libraries:masterfrom per1234:update-portenta-platform-name
per1234 merged 1 commit intoarduino-libraries:masterfrom
per1234:update-portenta-platform-name
