Skip to content

Bump the github-actions group with 2 updates #150

Bump the github-actions group with 2 updates

Bump the github-actions group with 2 updates #150

Workflow file for this run

name: Documentation
# no permissions by default
permissions: {}
on:
pull_request:
push:
branches:
- main
release:
types:
- published
jobs:
run:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
fetch-depth: 0
persist-credentials: false
- name: Setup Pixi
uses: prefix-dev/setup-pixi@8ca4608ef7f4daeb54f5205b20d0b7cb42f11143 # v0.8.14
with:
manifest-path: pyproject.toml
- name: Build Docs
run: pixi run --environment py313 docs
- name: Deploy
if: success() && github.event_name == 'release'
uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4.0.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/build/html