chore(ci): fix documentation release with mike (#643)

* chore(ci): remove mike set-default command for latest

* chore(ci): fix invalid checkout for doc release

Author: corrieriluca

.github/workflows/docs.yaml

@@ -20,6 +20,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0  # Fetch all branches to include 'gh-pages' branch
       - uses: actions/setup-python@v5
         with:
           python-version: 3.x
@@ -55,5 +57,4 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         run: |
           mike deploy --push --update-aliases ${{ github.ref_name }} latest
-          mike set-default --push latest
           echo "Deployed version ${{ github.ref_name }} to GitHub Pages"