Skip to content

Merge branch 'main' into dev #30

Merge branch 'main' into dev

Merge branch 'main' into dev #30

Workflow file for this run

name: Check Documentation
on:
pull_request:
push:
branches:
- main
- dev
workflow_dispatch:
concurrency:
group: docs-check-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install -e .
pip install -r docs/requirements.txt
- name: Build docs
env:
DOCS_VERSION: dev
MPLBACKEND: Agg
run: |
cd docs
make html