Skip to content

Add manager_host to list of nodes when deploy is Server. #830

Add manager_host to list of nodes when deploy is Server.

Add manager_host to list of nodes when deploy is Server. #830

name: Build documentation
on: [push, pull_request]
jobs:
build_docs:
name: Build RTD documentation
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
name: Install Python
with:
python-version: '3.9'
- name: Install documentation dependencies
run: |
pip install -r docs/requirements.txt
- name: Build documentation
run: |
READTHEDOCS=True make -C docs html SPHINXOPTS="-W --keep-going"