Skip to content

Docs/guides

Docs/guides #47

Workflow file for this run

name: Build and publish docs
on:
push:
branches:
- dev
pull_request:
branches:
- dev
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/dev' }}
permissions:
contents: write
jobs:
publish:
name: build and publish docs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: set up python 3.10
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: setup poetry
run: |
curl -sSL https://install.python-poetry.org | python -
- name: Install pandoc
run: |
sudo apt install pandoc
- name: install dependencies
run: |
poetry install --with docs
- name: Test documentation
run: |
make test-docs
- name: build documentation
run: |
make docs
- name: save branch name without slashes
env:
BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
run: |
BRANCH_NAME=${{ env.BRANCH_NAME }}
BRANCH_NAME=${BRANCH_NAME////_}
echo BRANCH_NAME=${BRANCH_NAME} >> $GITHUB_ENV
- name: Upload artifact
uses: actions/upload-artifact@v4
with:
name: ${{ format('github-pages-for-branch-{0}', env.BRANCH_NAME) }}
path: docs/build/
retention-days: 3
- name: Deploy to GitHub Pages
uses: JamesIves/[email protected]
if: ${{ github.ref == 'refs/heads/dev' }}
with:
branch: gh-pages
folder: docs/build/html/
single-commit: True