docs.yml: revamp workflow

Adapted from the Material for MkDocs template[1]. The former workflow
was using mkdocs-deploy-gh-pages[2] which runs in an Alpine-based Docker
container preventing from install PyTorch (needed for mkdocstrings).

Note: this does not use actions/cache (yet).

[1]:
https://squidfunk.github.io/mkdocs-material/publishing-your-site/#with-github-actions
[2]:
https://github.com/mhausenblas/mkdocs-deploy-gh-pages

.github/workflows/docs.yml

@@ -10,12 +10,19 @@ jobs:
     name: Deploy docs
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout main
-        uses: actions/checkout@v2
+      - name: Checkout
+      - uses: actions/checkout@v4
+        run: |
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
 
-      - name: Deploy MkDocs
-        uses: mhausenblas/mkdocs-deploy-gh-pages@master
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          CUSTOM_DOMAIN: refine.rs
-          REQUIREMENTS: ./requirements.docs.txt
+      - name: Install Python
+      - uses: actions/setup-python@v4
+        with:
+          python-version: '3.10'
+
+      - name: Install MkDocs dependencies
+      - run: pip install -r requirements.docs.txt
+
+      - name: Deploy to GitHub Pages
+      - run: mkdocs gh-deploy --force