CI: Ensure necessary repos are cloned with submodules.

.github/workflows/build.yml

@@ -47,6 +47,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           path: libraries/codal-microbit-v2
+          submodules: 'recursive'
       # Changing the commit SHA might be unnecessary, as we've already cloned this
       # repo, but could be useful to ensure codal.json points to the same commit
       - name: Modify codal.json files to use this codal-microbit-v2 commit

.github/workflows/micropython.yml

@@ -15,7 +15,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: 'microbit-foundation/micropython-microbit-v2'
-          submodules: true
+          submodules: 'recursive'
       - name: Setup arm-none-eabi-gcc v10.3
         uses: carlosperate/arm-none-eabi-gcc-action@v1
         with:

.github/workflows/size-diff.yml

@@ -48,6 +48,7 @@ jobs:
         with:
           path: libraries/codal-microbit-v2
           fetch-depth: '0'
+          submodules: 'recursive'
           # Unless manually triggered via workflow_dispatch this will be an empty
           # string, checking out the default commit for the commit/branch/PR
           ref: ${{ github.event.inputs.new-commit }}