Skip to content

chore(deps): update github actions (#47) #42

chore(deps): update github actions (#47)

chore(deps): update github actions (#47) #42

Workflow file for this run

name: Deploy Documentation
on:
push:
branches:
- main
pull_request:
branches:
- main
env:
FORCE_COLOR: 1
UV_NO_SYNC: 1
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
- uses: actions/setup-python@e797f83bcb11b83ae66e0230d6156d7c80228e7c # v6.0.0
- name: Install uv
uses: astral-sh/setup-uv@5a7eac68fb9809dea845d802897dc5c723910fa3 # v7.1.3
- name: Install dependencies
run: |
uv sync --group docs
- name: Build documentation
run: uv run mkdocs build
- name: Deploy to GitHub Pages
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
run: uv run mkdocs gh-deploy --force