Skip to content

Merge remote-tracking branch 'upstream/master' #1

Merge remote-tracking branch 'upstream/master'

Merge remote-tracking branch 'upstream/master' #1

Workflow file for this run

name: Build and deploy documentation
on:
push:
branches:
- master
jobs:
build-docs:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os: [ubuntu-latest]
python-version: ['3.10']
steps:
- uses: actions/checkout@v3
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v3
with:
python-version: ${{ matrix.python-version }}
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install -y pandoc
python -m pip install -e .[development]
- name: Build docs
run: cd doc && make html
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc/build/html