Skip to content

chore(deps-dev): update pre-commit requirement (#104) #89

chore(deps-dev): update pre-commit requirement (#104)

chore(deps-dev): update pre-commit requirement (#104) #89

Workflow file for this run

name: Build Docs
on:
push:
branches:
- main
jobs:
build-docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- name: Set up Python
uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: '3.11'
- name: Install uv
uses: astral-sh/setup-uv@cec208311dfd045dd5311c1add060b2062131d57 # v8.0.0
with:
version: "0.7.13"
- name: Install dependencies
run: |
uv sync --dev
- name: Build documentation
run: |
cd docs
uv run make html
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4.0.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/build/html