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

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 editor, but the build fails in Github CI. The extension also builds fine when built locally using command line.

Complete build:

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: ?

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.