Skip to content

search: fix profile edge case (closes #429) #309

search: fix profile edge case (closes #429)

search: fix profile edge case (closes #429) #309

Workflow file for this run

name: Build Documentation
on:
push
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v3
with:
python-version: '3.x'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install . sphinx sphinx-rtd-theme
- name: Build documentation
run: |
cd docs
make html