Skip to content

[ fix ] Address some proofs of void via impossible from issues #2250 … #4627

[ fix ] Address some proofs of void via impossible from issues #2250 …

[ fix ] Address some proofs of void via impossible from issues #2250 … #4627

Workflow file for this run

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