Skip to content

Bump prefix-dev/setup-pixi from 0.8.10 to 0.8.11 in the github-actions group #143

Bump prefix-dev/setup-pixi from 0.8.10 to 0.8.11 in the github-actions group

Bump prefix-dev/setup-pixi from 0.8.10 to 0.8.11 in the github-actions group #143

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@273e4808c831936a3ce1a3080c829d9e153143d3 # v0.8.11
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