Skip to content
Sphinx

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output #4525

Sign in to view logs

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output #4525

Workflow file for this run

.github/workflows/ci-sphinx.yml at d4317cb
name: Sphinx
on:
push:
branches:
- '*'
tags:
- '*'
pull_request:
branches:
- main
jobs:
sphinx-doc-check:
name: Sphinx
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Build docs
run: |
sudo apt-get install -y python3-sphinx
pip3 install -r docs/requirements.txt
cd docs
make html