Github CI integration build fails for microbit makecode extension using mbed.h file

micro:bit
#1

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.

image
image1093×262 12.4 KB

Complete build: https://github.com/xinabox/pxt-IM01/runs/1278270783?check_suite_focus=true

#2

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

#3

Is that the same as: https://github.com/microsoft/pxt-microbit/issues/3506 ?

#4

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.