diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml new file mode 100644 index 0000000..823b525 --- /dev/null +++ b/.github/workflows/documentation.yml @@ -0,0 +1,28 @@ +name: documentation + +on: [push, pull_request, workflow_dispatch] + +permissions: + contents: write + +jobs: + build_docs: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + lfs: false + - uses: prefix-dev/setup-pixi@v0.8.1 + with: + pixi-version: latest + cache: true + locked: false + frozen: false + environments: ['doc'] + - run: pixi run -e doc build_docs + - uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./doc/build/html + publish_branch: 'gh-pages' + force_orphan: 'false' \ No newline at end of file