Skip to content

MAINT better doc

MAINT better doc #12

name: Documentation
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
deploy-gh-pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: prefix-dev/[email protected]
with:
pixi-version: v0.20.1
environments: doc
frozen: true
- name: Build documentation
run: pixi run build-doc
- name: Update the main gh-page website
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
uses: peaceiris/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc/_build/html
commit_message: "[ci skip] ${{ github.event.head_commit.message }}"