Not sure whether it never ran in the first place or the fix broke it but we should try and reenable the CI for the sdk submodule again.