2727 - main
2828 paths :
2929 - " .github/workflows/docs.yml"
30- - " requirements-docs.txt"
30+ - " pyproject.toml"
31+ - " uv.lock"
3132 - " mkdocs.yml"
3233 - " main.py"
3334 - " hooks.py"
@@ -52,18 +53,20 @@ jobs:
5253 - name : Configure Git Credentials
5354 run : |
5455 git config --global user.name github-actions[bot]
55- git config --global user.email 41898282+github-actions[bot]@users.noreply.github.com
56+ git config --global user.email \
57+ 41898282+github-actions[bot]@users.noreply.github.com
5658
5759 - name : Install system dependencies
5860 run : |
5961 sudo apt-get update
60- sudo apt-get install -y libcairo2-dev libfreetype6-dev libffi-dev libjpeg-dev libpng-dev libz-dev
62+ sudo apt-get install -y libcairo2-dev libfreetype6-dev libffi-dev \
63+ libjpeg-dev libpng-dev libz-dev
6164
6265 - name : Install the latest version of uv
6366 uses : astral-sh/setup-uv@v7
6467
6568 - name : Install documentation dependencies
66- run : uv sync
69+ run : uv sync --all-groups
6770
6871 - name : Lint YAML files
6972 run : uv run yamllint -c .github/linters/.yamllint.yml .
7477 with :
7578 files : source/**
7679
80+ - name : Install Rust
81+ uses : dtolnay/rust-toolchain@stable
82+
83+ - name : Cache Cargo
84+ uses : Swatinem/rust-cache@v2
85+ with :
86+ cache-on-failure : true
87+
7788 - name : Install ucp-schema for runtime resolution
7889 run : |
7990 cargo install ucp-schema
@@ -95,11 +106,14 @@ jobs:
95106 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
96107 run : |
97108 # Fetch the Pages URL. Fails safely if not enabled.
98- PAGES_URL=$(gh api "repos/${{ github.repository }}/pages" --jq '.html_url' 2>/dev/null || true)
109+ PAGES_URL=$(gh api "repos/${{ github.repository }}/pages" \
110+ --jq '.html_url' 2>/dev/null || true)
99111
100112 if [ -z "$PAGES_URL" ]; then
101113 echo "Pages URL not detected. Falling back to default structure."
102- PAGES_URL="https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}"
114+ OWNER="${{ github.repository_owner }}"
115+ REPO="${{ github.event.repository.name }}"
116+ PAGES_URL="https://${OWNER}.github.io/${REPO}"
103117 fi
104118
105119 # Ensure trailing slash
@@ -146,8 +160,9 @@ jobs:
146160 # Extract the date (e.g., release/2026-01-11 -> 2026-01-11)
147161 VERSION_NAME=${GITHUB_REF#refs/heads/release/}
148162
149- # Deploy this version, tag it as 'latest', and set it as the default site root
150- uv run mike deploy --push --update-aliases $VERSION_NAME latest
163+ # Deploy this version, tag as 'latest', set as default site root
164+ uv run mike deploy --push --update-aliases \
165+ $VERSION_NAME latest
151166
152167 - name : Create GitHub Release and Tag
153168 if : startsWith(github.ref, 'refs/heads/release/')
0 commit comments