ci: fix deploy script SDK version

Depends on ci-actions PR 472.

Manifest checkouts default to depth of 1 which does not
give us enough history for generating the per-commit SDK versions.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>

Author: Ivan-Velickovic

.github/workflows/deploy.yml

@@ -69,6 +69,7 @@ jobs:
           manifest_repo: seL4/microkit-manifest
           manifest_branch: main
           manifest: main.xml
+          depth: 0
       - name: Set version
         id: version
         run: ./ci/sdk_version.sh
@@ -114,6 +115,7 @@ jobs:
           manifest_repo: seL4/microkit-manifest
           manifest_branch: main
           manifest: main.xml
+          depth: 0
       - name: Set version
         run: ./ci/sdk_version.sh
         working-directory: ./microkit/