CI: Use mbed_portenta core release instead of ArduinoCore-mbed HEAD #333
+12
−37
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.