ci: Use uv rather than a Dockerfile for mkdocs

Author: LukeMathWalker

.github/ci_generator/templates/job_steps/build_docs.jinja

@@ -1,4 +1,7 @@
 <% extends 'steps' %>
+<% block additional_permissions %>
+  contents: write
+<% endblock %>
 <% block inner_steps %>
 - name: Install Rust stable toolchain
   uses: actions-rust-lang/[email protected]
@@ -9,28 +12,22 @@
   run: |
     mkdir -p docs/api_reference
     cp -r target/doc/* docs/api_reference
-- name: Set up QEMU
-  uses: docker/setup-qemu-action@v3
-- name: Set up Docker Buildx
-  uses: docker/setup-buildx-action@v3
-- name: Build and export to Docker
-  uses: docker/build-push-action@v5
-  with:
-    context: docs/
-    load: true
-    tags: pavex-docs
+- name: Install uv
+  uses: astral-sh/setup-uv@v6
+- name: Install the project
+  run: uv sync --locked
 - name: Build docs
   run: |
-    docker run --rm -v ${PWD}:/docs pavex-docs build --strict
-- uses: actions/upload-artifact@v4
+    uv run mkdocs build --strict
+- uses: actions/upload-artifact@v5
   with:
     name: docs
     path: site/
 - name: Fix base
   run: |
     # Convert all "absolute" guide links in the reference to relative links so that we can scan for dead links
-    sudo find . -type f -exec sed -i "s#https://pavex.dev/docs/#file:///${PWD}/site/#g" {} +
-    sudo find . -type f -exec sed -i "s#https://pavex.dev/#file:///${PWD}/site/#g" {} +
+    sudo find ./site -type f -exec sed -i "s#https://pavex.dev/docs/#file:///${PWD}/site/#g" {} +
+    sudo find ./site -type f -exec sed -i "s#https://pavex.dev/#file:///${PWD}/site/#g" {} +
 - name: Link Checker
   uses: lycheeverse/lychee-action@v2
   with:
@@ -45,6 +42,7 @@
       --exclude-path="site/api_reference/pavex/time"
       --exclude-path="site/api_reference/help.html"
       --exclude-path="site/api_reference/settings.html"
+      --exclude-path="site/404.html"
       --exclude=".*crate#per-style$"
       --exclude="https://doc.rust-lang.org/*"
       --exclude="https://stackoverflow.com/*"
@@ -55,4 +53,13 @@
       --require-https
       --no-progress
       site
+- name: Update unstable documentation
+  # if: github.ref == 'refs/heads/main' && github.event_name == 'push' && github.event.repository.full_name == github.repository)
+  run: |
+    # We made some destructive updates to perform link checking,
+    # so best to regenerate the site
+    rm -rf site
+    git config --global user.name "GitHub Actions"
+    git config --global user.email "[email protected]"
+    uv run mike deploy --push --allow-empty unstable
 <%- endblock %>

.github/ci_generator/templates/permissions.jinja

@@ -1,6 +1,3 @@
-permissions:
-  pull-requests: write
-  checks: write
 # Run if it's a PR on the official repo or a push to `main`
 if: |
   (github.event_name == 'repository_dispatch' &&
@@ -10,3 +7,6 @@ if: |
     github.event.client_payload.slash_command.args.named.sha
   )) ||
   (github.event_name == 'push' && github.event.repository.full_name == github.repository)
+permissions:
+  pull-requests: write
+  checks: write

.github/ci_generator/templates/steps.jinja

@@ -1,5 +1,7 @@
 <% set output %>
 <% include 'permissions' %>
+<%- block additional_permissions %>
+<% endblock %>
 steps:
 - name: Checkout repository from source repo
   if: |