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.
Complete build: https://github.com/xinabox/pxt-IM01/runs/1278270783?check_suite_focus=true