re-add the sphinx build

This commit is contained in:
Valentin Boettcher 2023-11-30 13:41:00 -05:00 committed by GitHub
parent 37fb4c429f
commit 21ecb60ecf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,7 +16,8 @@ jobs:
with:
extra_nix_config: |
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
- run: nix build -L
- run: nix develop -c bash -c "cd docs && make html && cd build/html && touch .nojekyll"
- uses: actions/upload-artifact@v2
with:
name: DocumentationHTML