Skip to content

Update hub_models.json with latest e2e coverage data (64 models, migr… #7

Update hub_models.json with latest e2e coverage data (64 models, migr…

Update hub_models.json with latest e2e coverage data (64 models, migr… #7

Workflow file for this run

name: Build & Publish Docs
on:
push:
branches: [main]
paths: ["docs/**", "mkdocs.yml"]
release:
types: [published]
workflow_dispatch:
inputs:
version:
description: "Version label to deploy (e.g., 0.2). Leave empty to use 'dev'."
required: false
permissions:
contents: write
pages: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: astral-sh/setup-uv@v3
with:
python-version: "3.11"
- run: uv sync --only-group docs
- name: Configure git for mike
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
- name: Determine version
id: version
run: |
if [[ "${{ github.event_name }}" == "release" ]]; then
# Strip 'v' prefix from tag: v0.2.0 → 0.2
TAG="${{ github.event.release.tag_name }}"
VERSION="${TAG#v}"
VERSION="${VERSION%.*}"
echo "version=$VERSION" >> "$GITHUB_OUTPUT"
echo "alias=latest" >> "$GITHUB_OUTPUT"
elif [[ -n "${{ github.event.inputs.version }}" ]]; then
echo "version=${{ github.event.inputs.version }}" >> "$GITHUB_OUTPUT"
echo "alias=latest" >> "$GITHUB_OUTPUT"
else
echo "version=dev" >> "$GITHUB_OUTPUT"
echo "alias=" >> "$GITHUB_OUTPUT"
fi
- name: Deploy docs with mike
run: |
VERSION="${{ steps.version.outputs.version }}"
ALIAS="${{ steps.version.outputs.alias }}"
if [[ -n "$ALIAS" ]]; then
uv run --no-project mike deploy "$VERSION" "$ALIAS" --update-aliases --push
else
uv run --no-project mike deploy "$VERSION" --push
fi
- name: Set default version
if: steps.version.outputs.alias == 'latest'
run: uv run --no-project mike set-default latest --push