name: Documentation on: release: types: [published] permissions: contents: write pages: write id-token: write jobs: deploy: environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest steps: - uses: actions/checkout@v6 with: fetch-depth: 0 - name: Configure git run: | git config user.name "github-actions[bot]" git config user.email "github-actions[bot]@users.noreply.github.com" - name: Install uv uses: astral-sh/setup-uv@v7 - name: Set up Python run: uv python install 3.13 - run: uv sync --group docs - name: Install mkdocs shim run: cp scripts/mkdocs .venv/bin/mkdocs && chmod +x .venv/bin/mkdocs - name: Deploy docs version run: | VERSION="${GITHUB_REF_NAME#v}" MINOR_VERSION="${VERSION%.*}" uv run mike deploy --push --update-aliases "$MINOR_VERSION" latest uv run mike set-default --push latest - name: Prepare site artifact run: git worktree add site gh-pages - uses: actions/configure-pages@v5 - uses: actions/upload-pages-artifact@v4 with: path: site - uses: actions/deploy-pages@v4 id: deployment