ci: remove GitHub Pages deploy step from doc workflow

The deploy job fails with 404 because GitHub Pages is not enabled on
this fork. Keep the build job so documentation still gets validated
on push, but remove the upload-pages-artifact and deploy-pages steps.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: QuakeString

.github/workflows/doc.yml

@@ -6,8 +6,6 @@ on:
     branches: [master]
 permissions:
   contents: read
-  pages: write
-  id-token: write
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
@@ -31,19 +29,3 @@ jobs:
           uv pip install ".[doc,cli]"
       - name: Build documentation
         run: uv run sphinx-build -N -bhtml doc/ doc/_build -W
-      - name: Upload Pages artifact
-        if: github.event_name == 'push' && github.ref == 'refs/heads/master'
-        uses: actions/upload-pages-artifact@v4
-        with:
-          path: doc/_build
-  deploy:
-    if: github.event_name == 'push' && github.ref == 'refs/heads/master'
-    needs: build
-    runs-on: ubuntu-24.04
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4