Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix for downloading the wrong binary in the online compiler #10443
We've had this fix in the online compiler for quite some time, but bringing this mainline so we don't have to maintain it in our fork. This does not affect any compilations with Mbed CLI.
Pull request type
@SenRamakri (theotherjimmy is unavailable)