Merge pull request #18 from Nonannet/dev

Missing Upload artifact for github-pages added
This commit is contained in:
Nicolas Kruse 2025-12-27 16:44:21 +01:00 committed by GitHub
commit a67912ed84
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 5 additions and 0 deletions

View File

@ -339,6 +339,11 @@ jobs:
make html make html
touch build/html/.nojekyll touch build/html/.nojekyll
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: docs/build/html
deploy-docs: deploy-docs:
if: github.ref == 'refs/heads/main' && github.event_name == 'push' if: github.ref == 'refs/heads/main' && github.event_name == 'push'
needs: build-docs needs: build-docs