fix(docs): copy aliases instead of symlinks in mike deploy (#413)

GitHub Pages legacy 'Deploy from a branch' source rejects symlinks
in the published site:

  Failed to deploy site, please ensure the repository does not
  contain any hard links, symlinks and total size is less than 10GB.

mike's default alias mode is 'symlink' (latest -> v0, stable -> v0).
Switch to '--alias-type=copy' so mike materializes /latest/ and
/stable/ as full directory copies of /v0/. URLs are unchanged from
the reader's perspective; only the on-disk representation in the
gh-pages branch differs.

Verified gh-pages deploy 4449135971 (2026-04-22) failed with exactly
this symlink message, as did multiple 2024 pages/builds entries.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: vicperdana

.github/workflows/docs.yaml

@@ -52,4 +52,9 @@ jobs:
           python3 -m pip install -r requirements-docs.txt
 
       - name: Deploy site
-        run: mike deploy --push --update-aliases v0 latest stable --title 'v0'
+        # --alias-type=copy: copy v0/ contents into latest/ and stable/ instead of
+        # creating symlinks. GitHub Pages legacy 'Deploy from a branch' rejects
+        # symlinks ('Failed to deploy site, please ensure the repository does not
+        # contain any hard links, symlinks ...'), and using copies keeps the URLs
+        # /latest/... and /stable/... working without that constraint.
+        run: mike deploy --push --update-aliases --alias-type=copy v0 latest stable --title 'v0'