Skip to content

Merge branch 'main' into when-then-user-guide #519

Merge branch 'main' into when-then-user-guide

Merge branch 'main' into when-then-user-guide #519

Workflow file for this run

name: docbuild
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up Python 3.12
uses: actions/setup-python@v5
with:
python-version: "3.12"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install hatch
- name: Run doc:build-html
run: |
hatch run doc:build-html
- name: Run doc:doctest
run: |
hatch run doc:doctest