CI: Use mbed_portenta core release instead of ArduinoCore-mbed HEAD#333
Merged
pennam merged 2 commits intoarduino-libraries:masterfrom Sep 9, 2022
Merged
CI: Use mbed_portenta core release instead of ArduinoCore-mbed HEAD#333pennam merged 2 commits intoarduino-libraries:masterfrom
pennam merged 2 commits intoarduino-libraries:masterfrom