Fix doc build

This commit is contained in:
Victor Zverovich committed 2024-06-09 11:37:18 -07:00
1 parent 735a613821
commit b5c8fd783c
5 files changed
+8 -4

No files matched your search

+1 -1
View File
@@ -33,6 +33,6 @@ jobs:
env:
KEY: ${{secrets.KEY}}
run: |
cmake .
cmake $GITHUB_WORKSPACE
make doc
# $GITHUB_WORKSPACE/support/build-docs.py