mypy

3c4f0194 - GitHub actions house-keeping (#10142)

GitHub actions house-keeping (#10142) Updates two actions to the latest versions (`v1` is outdate as for now), changes how submodules are initialized