ci: publish docs on workflow_dispatch (#2695)

Author: Kludex

.github/workflows/publish.yml

@@ -4,6 +4,7 @@ on:
   push:
     tags:
       - '*'
+    workflow_dispatch:
 
 jobs:
   build:
@@ -39,6 +40,7 @@ jobs:
   pypi-publish:
     runs-on: ubuntu-latest
     needs: build
+    if: success() && startsWith(github.ref, 'refs/tags/')
 
     permissions:
       id-token: write
@@ -77,12 +79,14 @@ jobs:
           git config user.name github-actions[bot]
           git config user.email 41898282+github-actions[bot]@users.noreply.github.com
 
-      - uses: actions/setup-python@e797f83bcb11b83ae66e0230d6156d7c80228e7c # v6.0.0
+      - name: Install uv
+        uses: astral-sh/setup-uv@557e51de59eb14aaaba2ed9621916900a91d50c6 # v6.6.1
         with:
           python-version: "3.12"
+          enable-cache: true
 
       - name: Install dependencies
         run: scripts/install
 
       - name: Publish documentation 📚 to GitHub Pages
-        run: mkdocs gh-deploy --force
+        run: uv run mkdocs gh-deploy --force