ci: fix manifest depth argument

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

Author: Ivan-Velickovic

.github/workflows/deploy.yml

@@ -68,8 +68,8 @@ jobs:
           # needed for reasons...
           manifest_repo: seL4/microkit-manifest
           manifest_branch: main
+          manifest_depth: 0
           manifest: main.xml
-          depth: 0
       - name: Set version
         id: version
         run: ./ci/sdk_version.sh
@@ -114,8 +114,8 @@ jobs:
           # needed for reasons...
           manifest_repo: seL4/microkit-manifest
           manifest_branch: main
+          manifest_depth: 0
           manifest: main.xml
-          depth: 0
       - name: Set version
         run: ./ci/sdk_version.sh
         working-directory: ./microkit/