Update CI workflow to correctly install ArduinoCore-API in arduino:mbed core#46
Merged
aentinger merged 2 commits intoarduino-libraries:masterfrom Dec 15, 2020
per1234:update-mbed-ci
Merged
Update CI workflow to correctly install ArduinoCore-API in arduino:mbed core#46aentinger merged 2 commits intoarduino-libraries:masterfrom per1234:update-mbed-ci
aentinger merged 2 commits intoarduino-libraries:masterfrom
per1234:update-mbed-ci
