Update mkdocs build

Author: jgimillo

.github/workflows/docs.yml

@@ -3,29 +3,43 @@ name: Deploy MkDocs
 on:
   push:
     branches:
-      - main
+      - main  # Solo se ejecuta cuando hay cambios en main
+
+permissions:
+  contents: write  # Permite a Actions hacer push a gh-pages
 
 jobs:
   deploy:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Checkout repo
+      - name: Checkout repository
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.12'
+
       - name: Install dependencies
-        run: pip install mkdocs-material
+        run: |
+          pip install mkdocs mkdocs-material
 
       - name: Configure Git
+        env:
+          GH_PAT: ${{ secrets.GH_PAT }}
         run: |
           git config --global user.name "github-actions"
           git config --global user.email "github-actions@github.com"
+          git remote set-url origin https://x-access-token:${{ secrets.GH_PAT }}@github.com/jgimillo/corec.git
+          git fetch --unshallow || true  # Evita errores en repositorios shallow
+          git checkout gh-pages || git checkout --orphan gh-pages
+          git reset --hard
 
       - name: Deploy to GitHub Pages
         env:
-          GH_TOKEN: ${{ secrets.GH_PAT }}
+          GH_PAT: ${{ secrets.GH_PAT }}
         run: |
-          git remote set-url origin https://x-access-token:${{ secrets.GH_PAT }}@github.com/jgimillo/corec.git
           mkdocs gh-deploy --force --remote-branch gh-pages --remote-name origin --config-file docs/mkdocs.yml