Revert "disable compilation in CI"
Revert "disable compilation in CI"

This reverts commit d4e9267542c3d42746ccff81c48824fe8bd627d9.

mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed,mbedmicro/mbed