Temporarily disable doc build in CI

This commit is contained in:
Victor Zverovich 2024-06-09 11:47:09 -07:00
parent b5c8fd783c
commit d4a8d26c55

View File

@ -34,5 +34,5 @@ jobs:
KEY: ${{secrets.KEY}}
run: |
cmake $GITHUB_WORKSPACE
make doc
# make doc
# $GITHUB_WORKSPACE/support/build-docs.py