Definitely not in the repo: GitHub - tylerhartwig/ArduinoCore-mbed
It compiled – I didn’t actually end up running it last night, I may have some time to continue tonight. Maybe it’s just a cached artifact however?
EDIT: It is failing to compile, nothing strange going on here!