Hi, we at XinaBox has developed extension for SD card which uses .cpp files, the extension is dependent of mbed libraries. The extension works fine in online microbit.makecode.com editor, but the build fails in Github CI. The extension also builds fine when built locally using command line.
Seems that the error comes after pxt-micorbit version 3.0.22. Please can someone confirm if pxt-microbit has removed “mbed.h” file after the version 3.0.22. Many thanks
Is that the same as: https://github.com/microsoft/pxt-microbit/issues/3506 ?
I am not sure, but I can say that our other extensions using cpp files are building fine. This particular one is causing trouble due to “mbed” cpp files added.